diff options
| author | jvoisin | 2020-06-20 19:10:44 +0200 |
|---|---|---|
| committer | jvoisin | 2020-06-20 19:11:11 +0200 |
| commit | 30e9be3aa5ea753a94aac0a983926c9ea55c7459 (patch) | |
| tree | a8f28a6c0a315f2a175979eea7d0fea42cff2607 /scripts/generate_rules.php | |
| parent | 6c220b20dcbff0084a9974bfb9ff6366a802e3bd (diff) | |
Fix `make debian` by using the magic sed one-liner
Diffstat (limited to 'scripts/generate_rules.php')
0 files changed, 0 insertions, 0 deletions