diff options
| author | Alice Frosi <afrosi@redhat.com> | 2023-03-24 17:17:40 +0100 |
|---|---|---|
| committer | Alice Frosi <afrosi@redhat.com> | 2023-03-24 17:17:40 +0100 |
| commit | 667c6db3425881d1201e7ae7a05cef7ca7ca94b1 (patch) | |
| tree | 2aeb1b125599ac7ff92eda0b216a5e901014a274 /Makefile | |
| parent | 7acb9abbb44881dcd23daffe84b5bdd8a19f607a (diff) | |
| download | seitan-667c6db3425881d1201e7ae7a05cef7ca7ca94b1.tar seitan-667c6db3425881d1201e7ae7a05cef7ca7ca94b1.tar.gz seitan-667c6db3425881d1201e7ae7a05cef7ca7ca94b1.tar.bz2 seitan-667c6db3425881d1201e7ae7a05cef7ca7ca94b1.tar.lz seitan-667c6db3425881d1201e7ae7a05cef7ca7ca94b1.tar.xz seitan-667c6db3425881d1201e7ae7a05cef7ca7ca94b1.tar.zst seitan-667c6db3425881d1201e7ae7a05cef7ca7ca94b1.zip | |
seitan: remove unused variables and functions
This was a left over of the previous version
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions