diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-01-19T12·58+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-01-19T12·58+0100 |
| commit | 87e3d142cce442417b52610652b9d1a4fd7a6b4f (patch) | |
| tree | 556201305d55f48a6bc8cec5c40ca2f57001fc28 /scripts/local.mk | |
| parent | 0c95776c3efdc63c4b957823d4e51d851a64ed84 (diff) | |
Add a test for --check / --repeat
Diffstat (limited to 'scripts/local.mk')
0 files changed, 0 insertions, 0 deletions