K 10 svn:author V 3 bde K 8 svn:date V 27 2002-08-25T02:34:18.000000Z K 7 svn:log V 139 Oops, the previous commit wasn't the version that I meant to commit (it does some extra things which are probably harmless). Back it out. END