source: @ 443

Name Size Rev Age Author Last Change
branches 145   15 years andreasw creating branches/pre-1.0 from trunk (rev 144)
conf 432   15 years andreasw give stefan vigerske write permission in ThirdParty/Glpk?/trunk
html 128   15 years coin creating empty dir for static html pages
releases 421   15 years andreasw new release 0.5.13 from stable/0.5 rev 420
stable 423   15 years andreasw corrected bug in prepare_new_release
tags 1   16 years andreasw first version
ThirdParty 443   14 years andreasw reran autotools
trunk 440   14 years andreasw fixing include directory definition for MUMPS in case user wants to …
Note: See TracBrowser for help on using the repository browser.