K 10
svn:author
V 6
karels
K 8
svn:date
V 27
1986-03-12T18:46:38.000000Z
K 24
svn:entry:committed-date
V 27
1986-03-12T18:46:38.000000Z
K 7
svn:log
V 36
say so when changing rootdev; lint


END
