Hugo Locurcio 1b7d42c99e Print colored diffs when there are formatting failures in CI ... This makes diffs more readable in CI logs. (cherry picked from commit 38424714b1)		2021-09-29 08:57:25 +02:00
..
black_format.sh	Print colored diffs when there are formatting failures in CI	2021-09-29 08:57:25 +02:00
check_ci_log.py	…
clang_format.sh	Print colored diffs when there are formatting failures in CI	2021-09-29 08:57:25 +02:00
copyright_headers.py	…
file_format.sh	Print colored diffs when there are formatting failures in CI	2021-09-29 08:57:25 +02:00
make_icons.sh	…
make_tarball.sh	Add script to make source tarball with `.git/HEAD`	2021-08-03 09:29:10 +02:00