K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2015-05-07T15:45:19.030529Z
K 7
svn:log
V 125
It seems doxygen's magic include the parent directory name, so grab all the doc
here with PORTDOCS.

Pointed out by:	antoine

END