K 10 svn:author V 3 bde K 8 svn:date V 27 2002-05-25T10:48:03.000000Z K 7 svn:log V 118 Fixed a printf format error. It was old and should have been detected by gcc-2.9x, but somehow wasn't fixed already. END