Changeset 3240 for ThirdParty/Glpk


Ignore:
Timestamp:
Jun 29, 2014 10:59:49 AM (5 years ago)
Author:
stefan
Message:

remove no longer needed uninstalled pc; should not need to have DESTDIR in pc

Location:
ThirdParty/Glpk/branches/autotools-update
Files:
1 deleted
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.