K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
2020-10-18T21:11:24.430439Z
K 7
svn:log
V 58
Replace print/transfig by print/fig2dev

Requested by:	pi

END