f46f811
Remove a bunch of unused scripts - heinrich5991
d7f30c5
Update scripts/check_header_guards.py - heinrich5991
925aff2
Fix all the header guards and adjust the script a little - heinrich5991
6381a33
Check for header guards on CI - heinrich5991
1abe6b0
Run header guards check at the start of the CI script - heinrich5991
abac0cf
Merge #1191 - bors[bot]