3 Mar
2005
3 Mar
'05
4:47 p.m.
Hello,
Martin was right and I fixed it in CVS. Patch is also attached.
Cheers
--
Christian Helmuth
## Dept. of CS, TU Dresden, Germany ##
## http://os.inf.tu-dresden.de/~ch12 ##