diff options
| author | jvoisin | 2017-09-25 19:36:26 +0200 |
|---|---|---|
| committer | jvoisin | 2017-09-25 19:36:26 +0200 |
| commit | 1110e7e611fed787b047bf37a22b9302874f01af (patch) | |
| tree | 0ebb79b467cd452ddcb12c9fd48713964feb3b18 /scripts/generate_rules.php | |
| parent | fbf7d5fbe2e3453d05a1550b5e45c871421b797a (diff) | |
Fix the download url in the documentation
Diffstat (limited to 'scripts/generate_rules.php')
0 files changed, 0 insertions, 0 deletions