diff options
| author | jvoisin | 2019-01-16 21:42:04 +0100 |
|---|---|---|
| committer | jvoisin | 2019-01-16 21:42:04 +0100 |
| commit | 9f5f95c766f1fe468078515048f28c4fda7320a8 (patch) | |
| tree | 4aefca461d92a98293492c6165c27c711fd87a73 /scripts/generate_rules.php | |
| parent | e79f7e3bd992c7f0915ef9afe7afb6d79740527a (diff) | |
Minor improvements of debian/rules
Diffstat (limited to 'scripts/generate_rules.php')
0 files changed, 0 insertions, 0 deletions