Kai.Grossjohann@CS.Uni-Dortmund.DE (Kai Großjohann) writes:

> There are CVS commit guidelines?