default.conf
Thu, 26 Oct 2017 17:02:40 +0200 Update documentation
Thu, 26 Oct 2017 16:06:19 +0200 Remove everything but documentation from Makefile.conf
Thu, 26 Oct 2017 15:43:22 +0200 Add default.conf into the build system