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