diff options
| author | jvoisin | 2017-12-21 11:33:29 +0100 |
|---|---|---|
| committer | jvoisin | 2017-12-21 11:33:48 +0100 |
| commit | b20bbff80ff873fb5ecc3ebc60d72826a8d0ac22 (patch) | |
| tree | 7f623c81537200dcb88ab9934894d8c9e5c63771 /scripts/generate_rules.php | |
| parent | 58d5e50ef33bbea5d1620c2a51562f68e3a0445b (diff) | |
Add some release-related documentation
Diffstat (limited to 'scripts/generate_rules.php')
0 files changed, 0 insertions, 0 deletions