K 10
svn:author
V 5
guido
K 8
svn:date
V 27
1994-11-10T18:49:23.000000Z
K 7
svn:log
V 106
Remove redundant stuff. Amazing that they actually solved a bug found in
1.1.5.1, and oversaw this thang.

END