Rémi Verschelde b40f3f9740 Style: Sync other changes from new fix_style.sh and clang_format.sh		2020-07-24 10:39:18 +02:00
..
ci	CI: Backport GitHub Actions setup from master	2020-07-24 10:39:17 +02:00
dist	Style: Sync other changes from new fix_style.sh and clang_format.sh	2020-07-24 10:39:18 +02:00
hooks	Git Hooks: Suppress "which" error messages.	2020-06-10 15:33:27 +02:00
scons	SCons: Improve registration of compilation_db tool, check version	2020-05-18 16:40:33 +02:00
scripts	CI: Backport GitHub Actions setup from master	2020-07-24 10:39:17 +02:00