This repository has been archived on 2024-05-26. You can view files and clone it, but cannot push or open issues or pull requests.

Benedikt Peetz 9e7e9d7b12 fix(scripts/renew_copyright_header): Add support for gitignore files		2024-03-26 20:08:12 +01:00
..
renew_copyright_header.sh	fix(scripts/renew_copyright_header): Add support for gitignore files	2024-03-26 20:08:12 +01:00
tests.sh	chore(treewide): Add or update license header	2024-03-26 19:58:24 +01:00