diff options
| author | Stefano Brivio <sbrivio@redhat.com> | 2023-06-14 13:59:37 +0200 |
|---|---|---|
| committer | Stefano Brivio <sbrivio@redhat.com> | 2023-06-14 13:59:37 +0200 |
| commit | 7e85c2d749afe3ba47ae0aa2302ffac9d6861a44 (patch) | |
| tree | abc9df4fde06de232da125fc2badd0b627ef80dd /demo | |
| parent | 54bca55ae5212002f8b5178f3d427cb4f54be233 (diff) | |
| download | seitan-7e85c2d749afe3ba47ae0aa2302ffac9d6861a44.tar seitan-7e85c2d749afe3ba47ae0aa2302ffac9d6861a44.tar.gz seitan-7e85c2d749afe3ba47ae0aa2302ffac9d6861a44.tar.bz2 seitan-7e85c2d749afe3ba47ae0aa2302ffac9d6861a44.tar.lz seitan-7e85c2d749afe3ba47ae0aa2302ffac9d6861a44.tar.xz seitan-7e85c2d749afe3ba47ae0aa2302ffac9d6861a44.tar.zst seitan-7e85c2d749afe3ba47ae0aa2302ffac9d6861a44.zip | |
Makefile: Fix build
Signed-off-by: Stefano Brivio <sbrivio@redhat.com>
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions