source: @ 3341

Name Size Rev Age Author Last Change
branches 2580   8 years stefan disable reusing libtool, does not seem to work yet
conf 3269   5 years lou Enforce schema; groom data.
html 3054   6 years stefan add sources of some 3rd party projects here, so they end up on …
releases 3283   5 years tkr Making release 0.8.0
stable 3339   5 years stefan advance dependency-linking to non-hidden feature by adding a …
tags 1   14 years andreasw first version
ThirdParty 3341   5 years stefan creating BuildTools/ThirdParty/Glpk?/releases/1.9.6 from …
trunk 3251   6 years stefan add back macros to check for some standard system libs
Note: See TracBrowser for help on using the repository browser.