K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2005-06-10T17:36:34.000000Z
K 7
svn:log
V 100
Delete a file that was meant to be renamed while repo-copying it but
wasn't and now is superfluous.

END