diff options
| author | Alice Frosi <afrosi@redhat.com> | 2023-06-14 16:23:12 +0200 |
|---|---|---|
| committer | Alice Frosi <afrosi@redhat.com> | 2023-06-14 16:23:12 +0200 |
| commit | d8fecc6ec2fcd9b5113bca23ba62144390926dcd (patch) | |
| tree | 291189201ac939ce52a935ad0784c1b6f6c8df8f /operations.c | |
| parent | 008c65c30900608d7e4a46e927d5ea3d22fd6255 (diff) | |
| download | seitan-d8fecc6ec2fcd9b5113bca23ba62144390926dcd.tar seitan-d8fecc6ec2fcd9b5113bca23ba62144390926dcd.tar.gz seitan-d8fecc6ec2fcd9b5113bca23ba62144390926dcd.tar.bz2 seitan-d8fecc6ec2fcd9b5113bca23ba62144390926dcd.tar.lz seitan-d8fecc6ec2fcd9b5113bca23ba62144390926dcd.tar.xz seitan-d8fecc6ec2fcd9b5113bca23ba62144390926dcd.tar.zst seitan-d8fecc6ec2fcd9b5113bca23ba62144390926dcd.zip | |
demo: simplify and adjust scripts
Diffstat (limited to 'operations.c')
0 files changed, 0 insertions, 0 deletions