source: @ 3447

Name Size Rev Age Author Last Change
tags 1   15 years andreasw first version
conf 3269   6 years lou Enforce schema; groom data.
branches 2580   9 years stefan disable reusing libtool, does not seem to work yet
html 3054   7 years stefan add sources of some 3rd party projects here, so they end up on …
trunk 3251   7 years stefan add back macros to check for some standard system libs
releases 3435   6 years tkr Making release 0.8.3
stable 3432   6 years tkr Fixing bug in calculating libtool version number
ThirdParty 3447   6 years tkr restoring BuildTools/ThirdParty/Glpk?/stable/1.10
Note: See TracBrowser for help on using the repository browser.