talyz 72636bc2f6 php: Get rid of all config.php parameters ... Since all options controlled by the config.php parameters can now be overridden directly, there's no reason to keep them around.		2020-04-26 16:43:23 +02:00
..
manual	php: Get rid of all config.php parameters	2020-04-26 16:43:23 +02:00
varlistentry-fixer.rb
xmlformat.conf