configure/data
2017-11-09 04:43:14 +01:00
..
configure.conf Use a configuration file for paths to programs 2017-11-09 04:42:43 +01:00
Makefile Re-generate the Makefiles 2017-11-09 04:43:14 +01:00
project.conf Use a configuration file for paths to programs 2017-11-09 04:42:43 +01:00