K 10
svn:author
V 4
tijl
K 8
svn:date
V 27
2018-01-15T20:13:22.405836Z
K 7
svn:log
V 209
Remove Doxygen generated directory manuals.  They don't contain anything
important and their name contains the full path of directories which can
be different on different build systems.

Reported by:	antoine

END