Rewrite check-includes.pl in python
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 5 May 2023 07:03:12 +0000 (09:03 +0200)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 9 May 2023 06:11:10 +0000 (08:11 +0200)
commitc4a090d60e09cd85a56ff91c46ca0f7b22dcd1a8
treeb1d566df5cfc08e7fc74d40a7fea806c01d307e7
parent083e2ba44572a1681bf0b1b6543f13b1e8797532
Rewrite check-includes.pl in python
LICENSES/README.md
tools/check-includes.pl [deleted file]
tools/check-includes.py [new file with mode: 0755]