K 10
svn:author
V 5
erwin
K 8
svn:date
V 27
2009-06-13T16:32:48.000000Z
K 7
svn:log
V 72
Remove HTML option as it depends on a port that is about to be removed.

END