K 10 svn:author V 5 wosch K 8 svn:date V 27 1996-05-13T22:05:10.000000Z K 7 svn:log V 120 catman -> catman.local This is currently a no-op, because a wisely man did not enable catman by default (in comments). END