source: @ 436

Name	Size	Rev	Age	Author	Last Change
branches		145	14 years	andreasw	creating branches/pre-1.0 from trunk (rev 144)
conf		432	14 years	andreasw	give stefan vigerske write permission in ThirdParty/Glpk?/trunk
html		128	14 years	coin	creating empty dir for static html pages
releases		421	14 years	andreasw	new release 0.5.13 from stable/0.5 rev 420
stable		423	14 years	andreasw	corrected bug in prepare_new_release
tags		1	15 years	andreasw	first version
ThirdParty		436	14 years	stefan	lous changes on glpk setup
trunk		435	14 years	lou	Remove a wayward debug print.