diff options
| author | Ruben Pollan <meskio@sindominio.net> | 2017-05-02 11:25:50 +0200 |
|---|---|---|
| committer | Ruben Pollan <meskio@sindominio.net> | 2017-05-02 11:25:50 +0200 |
| commit | 1d69d683323733eae3b0230938cf948741e1dba9 (patch) | |
| tree | d9c0718616958532ea3d8ce4465ea9c1dde6d554 /Makefile | |
| parent | 2ec7cc559846327439ba4c44dec0c3507d0d703e (diff) | |
[bug] set a non-None value for configuration defaults
None is recognized as not-default and gives an error if the
searched config value is not present in the config file. This was
provoking an error with manhole not being configured.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions