K 10
svn:author
V 4
ache
K 8
svn:date
V 27
1997-09-24T21:05:08.000000Z
K 7
svn:log
V 101
Fix longstanding bug: it was impossible to save to the same file twice
since it was deleted on exit.

END