diff options
| author | rofl0r <rofl0r@users.noreply.github.com> | 2020-09-13 01:31:08 +0100 |
|---|---|---|
| committer | rofl0r <rofl0r@users.noreply.github.com> | 2020-09-14 17:02:36 +0100 |
| commit | 7014d050d9738ae5ed8cd92e19a0cbb91d703025 (patch) | |
| tree | e53d6b8f4e360ebaa545e63a90094b59b6791c13 /.gitignore | |
| parent | ff23f3249b775713da7ded13ac1e91526645718e (diff) | |
run_tests: make travis happy, use signal nr instead of name
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions