-
Jean-Christophe Filliâtre authored
installation (work in progress, currently for developers only); why.conf is also searched for in the installation path (Config.why_libdir); in why.conf, theories and drivers filenames are relative to why.conf dirname (when relative)
a8bf97d6