22 Mar
2003
22 Mar
'03
10:08 p.m.
On Saturday 22 March 2003 20:35, Rudolf Weber wrote:
Who can fix it ?
At which date did you checked it out from CVS? Current CVS version (03/22/2003, 22:08) works fine here. Frank -- ## Dept. of Computer Science, Dresden University of Technology, Germany ## ## E-Mail: fm3@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/~fm3 ##