import-directories  =
 "Utilities"
 "IndM"
 "Coend"
 "Examples"
 "CV"
 .


use-cede-files = false.
make-rkt-files = false.
generate-logs = false.
show-qualified-vars = false.
