K 10
svn:author
V 7
antoine
K 8
svn:date
V 27
2014-06-25T19:54:13.369528Z
K 7
svn:log
V 43
Fix build of info page with ports makeinfo

END