#1410: add boost external library to ET --------------------------+------------------------------------------------- Reporter: rhaas | Owner: eschnett Type: enhancement | Status: closed Priority: major | Milestone: Component: Carpet | Version: development version Resolution: fixed | Keywords: Boost --------------------------+-------------------------------------------------
Comment (by rhaas):
ok.