diff options
| author | Eivind Fonn <evfonn@gmail.com> | 2019-11-19 13:27:36 +0100 |
|---|---|---|
| committer | Eivind Fonn <evfonn@gmail.com> | 2019-11-19 14:38:01 +0100 |
| commit | 37771becc4f37661e3ec945bc97c1a58c95e3e27 (patch) | |
| tree | b49ca528937a81b940967cba1a40644c67afcad8 /.github | |
| parent | 560db9ac800347120cfeaf8b1565ba810203fad5 (diff) | |
Tests: ignore some auxiliary testing output
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions