[CoinMP-tickets] [CoinMP Library] #7: make install leaves out certain header files

[CoinMP Library]

#7: make install leaves out certain header files
------------------------+-----------------------
 Reporter:  dorban      |       Owner:  somebody
     Type:  defect      |      Status:  closed
 Priority:  highest     |   Milestone:
Component:  component1  |     Version:
 Severity:  blocker     |  Resolution:  migrated
 Keywords:              |
------------------------+-----------------------
Changes (by stefan):

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


Comment:

 This ticket has been migrated to !GitHub and will be resolved there:
 https://github.com/coin-or/CoinMP/issues/7

--
Ticket URL: <https://projects.coin-or.org/CoinMP/ticket/7#comment:1>
CoinMP Library <http://projects.coin-or.org/CoinMP>
A lightweight API for some COIN-OR tools