K 10
svn:author
V 6
dinoex
K 8
svn:date
V 27
2012-07-28T11:57:19.208586Z
K 7
svn:log
V 42
- disable PORTSDOC, dvi2pdf is now broken

END