Marijn van der Werf 5511e18133 Clean executable files (#1047) ... * Mark headers as non-executable * Update shebangs		2023-05-04 18:03:02 +09:00
..
.gitignore	Enforce warnings count in pull requests (#380)	2021-08-24 22:30:35 +09:00
check_new_warnings.sh	Clean executable files (#1047)	2023-05-04 18:03:02 +09:00
compare_warnings.py	don't comment 'previous declaration of' warnings (#400)	2021-08-26 17:10:41 +09:00