K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2012-12-31T14:34:32.621835Z
K 7
svn:log
V 58
Use PORT_OPTIONS:MDOCS instead of NOPORTDOCS
Trim headers

END