K 10 svn:author V 8 tcberner K 8 svn:date V 27 2017-12-31T09:43:44.887981Z K 7 svn:log V 64 Convert devel/cmake-doc and devel/cmake-gui to use CMAKE_ON/OFF END