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 /README | |
parent | ff23f3249b775713da7ded13ac1e91526645718e (diff) |
run_tests: make travis happy, use signal nr instead of name
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions