[BuildTools-tickets] [BuildTools] #76: several public headers mess with user's projects

[BuildTools]

#76: several public headers mess with user's projects
-------------------+--------------------------------------------------------
Reporter:  bubla   |        Owner:  andreasw           
    Type:  defect  |       Status:  closed             
Priority:  major   |    Component:  configuration tests
 Version:  0.5     |   Resolution:  fixed              
Keywords:          |  
-------------------+--------------------------------------------------------
Changes (by stefan):

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


Comment:

 Done for all projects currently in !CoinAll/trunk.
 Will merge into stables and releases from here.

-- 
Ticket URL: <https://projects.coin-or.org/BuildTools/ticket/76#comment:5>
BuildTools <http://projects.coin-or.org/BuildTools>
Tools for configuring and compiling COIN-OR codes