CVS repository not really working right now

[Kai.Grossjohann@CS.Uni-Dortmund.DE (K. )]

If you want to commit a change to the repository, could you please
hold that back for just a little longer?  I've tarred up the current
CVS repository some days ago and I'm waiting for the SourceForge
people to install it on their site.

In fact, I guess I should disable my own CVS server right now.

You could use the time by requesting an account on SourceForge.  I
don't know yet how to add a developer to the project, but when you
mail me I will try to find out.

Daniel?  Tom?  Yuji?

kai
-- 
Symbol's function definition is void: signature