diff options
| author | Stefano Brivio <sbrivio@redhat.com> | 2023-06-04 08:13:23 +0200 |
|---|---|---|
| committer | Stefano Brivio <sbrivio@redhat.com> | 2023-06-04 08:29:05 +0200 |
| commit | 37e94bd191701a08e0081b2027cfbede6d76a21c (patch) | |
| tree | 873e2646f52d901c057d40c47499a3f80ba2d23f /demo | |
| parent | 6a8f05f9f0d10b257edce878381bf22b1249537e (diff) | |
| download | seitan-37e94bd191701a08e0081b2027cfbede6d76a21c.tar seitan-37e94bd191701a08e0081b2027cfbede6d76a21c.tar.gz seitan-37e94bd191701a08e0081b2027cfbede6d76a21c.tar.bz2 seitan-37e94bd191701a08e0081b2027cfbede6d76a21c.tar.lz seitan-37e94bd191701a08e0081b2027cfbede6d76a21c.tar.xz seitan-37e94bd191701a08e0081b2027cfbede6d76a21c.tar.zst seitan-37e94bd191701a08e0081b2027cfbede6d76a21c.zip | |
treewide: Change to GPLv2, add LICENSES, missing headers
As discussed with Alice -- 'reuse lint' passes now.
Signed-off-by: Stefano Brivio <sbrivio@redhat.com>
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions