diff options
| author | jvoisin | 2018-01-17 14:53:40 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-17 14:53:40 +0100 |
| commit | c473be13687ebd98c328f390d936be311dae7db6 (patch) | |
| tree | 135d31682ca0a382fc417f1d008c9ee8bcd49d5d /config | |
| parent | bd02d0689190f526c99eee9b35c1335bd96a74af (diff) | |
Our configuration files are ending in .rules, not .ini
This commit fixes the documentation, our shipped configuration files,
and the related tests.
Thanks to @remicollet for the tip
Diffstat (limited to 'config')
| -rw-r--r-- | config/default.rules (renamed from config/default.ini) | 0 | ||||
| -rw-r--r-- | config/examples.rules (renamed from config/examples.ini) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/config/default.ini b/config/default.rules index 88398c1..88398c1 100644 --- a/config/default.ini +++ b/config/default.rules | |||
diff --git a/config/examples.ini b/config/examples.rules index 664a67a..664a67a 100644 --- a/config/examples.ini +++ b/config/examples.rules | |||