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 /common | |
| 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 'common')
0 files changed, 0 insertions, 0 deletions