






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]




















































































































































