Robert Müller cf4da09ce9 Check in CI that no C standard headers are used ... Add `scripts/check_standard_headers.sh` to check that no C standard header is included in our code. The script prints an error message for every C header used as well as the corresponding C++ header that should be used instead. The script is added to the style checking CI.		2023-03-01 19:26:51 +01:00
..
workflows	Check in CI that no C standard headers are used	2023-03-01 19:26:51 +01:00
pull_request_template.md	Tell new devs not to feel intimidated	2022-09-16 01:12:17 +02:00