max.mehl ad9bc5976d copyright: make repository REUSE compliant ... Add licensing and copyright information for all files in this repository. This either happens in the file itself as a comment header or in the file `.reuse/dep5`. This commit also adds a Github workflow to check pull requests and adapts copyright.pl to the changes. Closes #8869		2022-06-13 09:13:00 +02:00
..
genroot.sh	copyright: fix out-of-date copyright ranges and missing headers	2020-03-24 15:05:59 +01:00
genserv.sh	copyright: fix out-of-date copyright ranges and missing headers	2020-03-24 15:05:59 +01:00
Makefile.am	copyright: make repository REUSE compliant	2022-06-13 09:13:00 +02:00