source: @ 2441

Name Size Rev Age Author Last Change
branches 1888   10 years stefan remove outdated split branch
conf 2206   10 years stefan give Gus write access also to 0.6 MSVS
html 128   14 years coin creating empty dir for static html pages
releases 2433   9 years stefan create new BuildTools? release 0.7.1 from stable/0.7 rev 2432
stable 2432   9 years stefan sync with trunk rev2431
tags 1   15 years andreasw first version
ThirdParty 2441   9 years stefan restoring BuildTools/ThirdParty/Glpk?/stable/1.8
trunk 2431   9 years stefan fix setup of library dependencies to filter out libiomp5 too
Note: See TracBrowser for help on using the repository browser.