K 10 svn:author V 3 bde K 8 svn:date V 27 1994-12-31T16:14:13.000000Z K 7 svn:log V 113 Restore our (cosmetic) local changes which were clobbered by the previous commit (do them slightly differently). END