![](https://secure.gravatar.com/avatar/565476157eb3895a9c928ffce26d988d.jpg?s=120&d=mm&r=g)
3 Oct
2007
3 Oct
'07
1:31 p.m.
Norbert Preining wrote:
On Di, 02 Okt 2007, Hans Hagen wrote:
Is there svn access? I have a checkout (very old) but the svn address has changed.
My mirror script (that populates the above url) uses: svn://83.247.100.17:33690/manuals