source: @ 2460

Name Size Rev Age Author Last Change
branches 1888   10 years stefan remove outdated split branch
conf 2460   9 years stefan give jonathan hogg write permissions for ThirdParty?/HSL
html 128   14 years coin creating empty dir for static html pages
releases 2433   10 years stefan create new BuildTools? release 0.7.1 from stable/0.7 rev 2432
stable 2432   10 years stefan sync with trunk rev2431
tags 1   15 years andreasw first version
ThirdParty 2459   9 years stefan support for upcoming SCIP 2.1
trunk 2431   10 years stefan fix setup of library dependencies to filter out libiomp5 too
Note: See TracBrowser for help on using the repository browser.