diff options
author | Stefano Brivio <sbrivio@redhat.com> | 2023-06-03 08:29:30 +0200 |
---|---|---|
committer | Stefano Brivio <sbrivio@redhat.com> | 2023-06-03 08:30:51 +0200 |
commit | 6a8f05f9f0d10b257edce878381bf22b1249537e (patch) | |
tree | 855bb0e91472affbec67681d4327f806c1d37a14 /tests | |
parent | d5e4e57926308e72bbfdda19ba148654fd3eac62 (diff) | |
download | seitan-6a8f05f9f0d10b257edce878381bf22b1249537e.tar seitan-6a8f05f9f0d10b257edce878381bf22b1249537e.tar.gz seitan-6a8f05f9f0d10b257edce878381bf22b1249537e.tar.bz2 seitan-6a8f05f9f0d10b257edce878381bf22b1249537e.tar.lz seitan-6a8f05f9f0d10b257edce878381bf22b1249537e.tar.xz seitan-6a8f05f9f0d10b257edce878381bf22b1249537e.tar.zst seitan-6a8f05f9f0d10b257edce878381bf22b1249537e.zip |
seitan-run: Assorted cleanups
Signed-off-by: Stefano Brivio <sbrivio@redhat.com>
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions