diff options
| author | jvoisin | 2018-03-09 17:37:51 +0100 |
|---|---|---|
| committer | jvoisin | 2018-03-09 17:37:51 +0100 |
| commit | 9f8293d686c8cfe66a6bad147896399c70d97bb3 (patch) | |
| tree | 703b07a9fd74045b1c66140b3046074d1cae56ab /src | |
| parent | fd60cd5c1ef701710bccc407272f72b9e9ac3f7c (diff) | |
Improve the performances of our default rules
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions