K 10 svn:author V 5 adamw K 8 svn:date V 27 2014-06-21T23:59:06.691598Z K 7 svn:log V 41 Turn "WITH_OPENMP" into a proper OPTION. END