source: @ 3446

Name Size Rev Age Author Last Change
branches 2580   7 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 3435   5 years tkr Making release 0.8.3
stable 3432   5 years tkr Fixing bug in calculating libtool version number
tags 1   14 years andreasw first version
ThirdParty 3446   5 years tkr creating BuildTools/ThirdParty/Glpk?/releases/1.10.2 from …
trunk 3251   5 years stefan add back macros to check for some standard system libs
Note: See TracBrowser for help on using the repository browser.