diff options
author | Stefano Brivio <sbrivio@redhat.com> | 2023-06-02 19:40:31 +0200 |
---|---|---|
committer | Stefano Brivio <sbrivio@redhat.com> | 2023-06-02 19:40:31 +0200 |
commit | d5e4e57926308e72bbfdda19ba148654fd3eac62 (patch) | |
tree | 9735ae100115d2c49a48238b2876177d101b96e8 /tests | |
parent | ab0013984c8d4f38b4898b1ccc19d198bef0f371 (diff) | |
download | seitan-d5e4e57926308e72bbfdda19ba148654fd3eac62.tar seitan-d5e4e57926308e72bbfdda19ba148654fd3eac62.tar.gz seitan-d5e4e57926308e72bbfdda19ba148654fd3eac62.tar.bz2 seitan-d5e4e57926308e72bbfdda19ba148654fd3eac62.tar.lz seitan-d5e4e57926308e72bbfdda19ba148654fd3eac62.tar.xz seitan-d5e4e57926308e72bbfdda19ba148654fd3eac62.tar.zst seitan-d5e4e57926308e72bbfdda19ba148654fd3eac62.zip |
Introduce seitan-run
Signed-off-by: Stefano Brivio <sbrivio@redhat.com>
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions