--enable-epm --enable-scripting-beanshell --enable-scripting-javascript --enable-ext-nlpsolver --enable-extension-integration --enable-online-update --without-system-postgresql --disable-gtk --with-help --with-myspell-dicts --with-package-format=dmg /head>
summaryrefslogtreecommitdiff
path: root/cli_ure/readme.txt
AgeCommit message (Expand)Author
2014-02-27Remove visual noise from cli_ureAlexander Wilms