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