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 /src/bench/micro_bench.php | |
| 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 'src/bench/micro_bench.php')
0 files changed, 0 insertions, 0 deletions