source: @ 3412

Name Size Rev Age Author Last Change
branches 2580   8 years stefan disable reusing libtool, does not seem to work yet
conf 3269   6 years lou Enforce schema; groom data.
html 3054   7 years stefan add sources of some 3rd party projects here, so they end up on …
releases 3401   6 years tkr Making release 0.8.2 of BuildTools?
stable 3390   6 years tkr Fixing bug that didn't allow detection of shared library build in …
tags 1   14 years andreasw first version
ThirdParty 3412   6 years tkr creating BuildTools/ThirdParty/Glpk?/releases/1.10.1 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.