Re: [ET Trac] [Einstein Toolkit] #1410: add boost external library to ET

#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 --------------------------+------------------------------------------------- Changes (by rhaas):

* status: review => closed * resolution: => fixed

Comment:

Applied as rev 342 of manifest.