diff options
| author | jvoisin | 2017-12-21 18:21:36 +0100 |
|---|---|---|
| committer | jvoisin | 2017-12-21 18:21:36 +0100 |
| commit | 9ea38c3185479d168aea47f3e0dfc308815fb254 (patch) | |
| tree | 0c03393264ca9191eb1e3dbbcd39fc7fc8b96b98 /scripts/generate_rules.php | |
| parent | c399f66db5eefaecce065d4f5ea7dcc725b8e106 (diff) | |
Fix a typo in the documentation
Diffstat (limited to 'scripts/generate_rules.php')
0 files changed, 0 insertions, 0 deletions