26 Jul
2006
26 Jul
'06
2:57 p.m.
Hi everybody,
For all who experienced problems with the SVN repository, just note that those problems are fixed and you can checkout as usual.
Thanks for your patience! Thomas