K 10
svn:author
V 3
phk
K 8
svn:date
V 27
1997-04-14T18:15:47.000000Z
K 7
svn:log
V 53
Remove all traces of undocumented feature ISODEVMAP.

END