K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2006-09-23T10:17:51.000000Z
K 7
svn:log
V 99
Remove dvi2ps because it is no longer supported and japanese/dvipsk
can be used as an alternative.

END