source: @ 1800

Name	Size	Rev	Age	Author	Last Change
branches		1543	11 years	stefan	update docu
conf		1574	11 years	stefan	give Lou writing permissions to the whole BuildTools?
html		128	14 years	coin	creating empty dir for static html pages
releases		1772	10 years	stefan	create new release 0.6.0 from stable/0.6 rev 1771
stable		1799	10 years	lou	Merge trunk r1715, r1797:1798; fix one more bug in prepare_new_stable.
tags		1	15 years	andreasw	first version
ThirdParty		1796	10 years	stefan	restoring BuildTools/ThirdParty/Metis?/stable/1.1
trunk		1800	10 years	lou	Backmerge tweaks to coin-functions sucked up in r1799 to stable, to …