source:
ThirdParty/SCIP
@
2244
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
conf | 2227 | 10 years | stefan | initial attempt to upgrade ThirdParty?/SCIP from GAMSlinks to use new … | |
trunk | 2244 | 10 years | stefan | proper fix for bug in setting up .pc file |
Note: See TracBrowser
for help on using the repository browser.