K 10 svn:author V 6 amdmi3 K 8 svn:date V 27 2017-02-05T09:01:31.379159Z K 7 svn:log V 92 - Remove bogus HAVE_CONFIGURE - Don't install license with docs - Switch to options helpers END