diff options
| author | jvoisin | 2020-05-26 19:37:26 +0200 |
|---|---|---|
| committer | jvoisin | 2020-05-26 19:37:26 +0200 |
| commit | d3c62c55584e04fcc4b5f54497d378a6db911686 (patch) | |
| tree | ff12703c57cd603524e6e4d36c69e4651c530213 /Makefile | |
| parent | 08214fc5242df1616355c8bdb16ab367be970f42 (diff) | |
Add a safeguard against corrupted rules
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions