diff options
| author | jvoisin | 2018-01-17 14:45:15 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-17 14:45:15 +0100 |
| commit | bd02d0689190f526c99eee9b35c1335bd96a74af (patch) | |
| tree | f2717d1cc5a0c13903f899188a7684611edd5181 /scripts/generate_rules.php | |
| parent | 23913af8b66c3bec05f937bb31c72fffe935df05 (diff) | |
Make the build system a bit more portable
Diffstat (limited to 'scripts/generate_rules.php')
0 files changed, 0 insertions, 0 deletions