summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRuben Pollan <meskio@sindominio.net>2017-05-02 11:25:50 +0200
committerRuben Pollan <meskio@sindominio.net>2017-05-02 11:25:50 +0200
commit1d69d683323733eae3b0230938cf948741e1dba9 (patch)
treed9c0718616958532ea3d8ce4465ea9c1dde6d554 /.gitignore
parent2ec7cc559846327439ba4c44dec0c3507d0d703e (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions