2 Jun
2020
2 Jun
'20
8:09 p.m.
On Tue, 02 Jun 2020 at 20:04:02, Frédéric Mangano-Tarumi wrote:
conf/config.dev\u2019s purpose is to provide a lighter configuration template for developers, and split development-specific options off the default configuration file. --- TESTING | 11 ++++++----- conf/config.defaults | 10 ---------- conf/config.dev | 32 ++++++++++++++++++++++++++++++++ 3 files changed, 38 insertions(+), 15 deletions(-) create mode 100644 conf/config.dev
Looks good to me. Merged (together with patch 1/2), thanks!