source: @ 3447

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 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 3447   5 years tkr restoring BuildTools/ThirdParty/Glpk?/stable/1.10
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.