diff options
| author | Alice Frosi <afrosi@redhat.com> | 2023-06-05 17:00:05 +0200 |
|---|---|---|
| committer | Alice Frosi <afrosi@redhat.com> | 2023-06-05 17:00:05 +0200 |
| commit | 44dbd4b6230ce3fe65eface4773605a8c465e93b (patch) | |
| tree | e9dee634a5eb0a5cd56819dc836c86a0d76ffd8d /operations.c | |
| parent | 86d22d8b4d075e756284a35323768be8a7ac3762 (diff) | |
| download | seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar.gz seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar.bz2 seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar.lz seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar.xz seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.tar.zst seitan-44dbd4b6230ce3fe65eface4773605a8c465e93b.zip | |
seitan-run: restore old behavior
Clean-up the entire DIR.
Diffstat (limited to 'operations.c')
0 files changed, 0 insertions, 0 deletions