diff options
| author | jvoisin | 2023-09-20 14:00:46 +0200 |
|---|---|---|
| committer | jvoisin | 2023-09-20 14:00:46 +0200 |
| commit | f672fa54b5c2b6ee9b4e5bf9ab833fc542b75d78 (patch) | |
| tree | b7a97d53b50354ac66b452808aaff36d79335fbb /.github | |
| parent | f4d0edc33d998c7c567df082876b8f0debf24609 (diff) | |
Document that rules are the be written in ascii
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions