K 10
svn:author
V 6
amdmi3
K 8
svn:date
V 27
2015-09-03T13:11:40.900980Z
K 7
svn:log
V 90
- Add missing OPTIONS_DEFINE=DOCS
- Fix installation commands
- Switch to options helpers

END