configure
src/tools/oasis-dist.ml
src/tools/oasis
src/tools/oasis-i18n
src/tools/oasis-announce.ml
examples/custom/myconfigure
test/data/bug982/test-setup-data.sh
test/data/bug823/postconf.sh
test/data/bug823/preconf.sh
test/data/bug938/postconf.sh
