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	Added Linux sanitizer with xvfb to github workspace	2020-08-14 12:15:58 +02:00
clang_format.sh	Print colored diffs when there are formatting failures in CI	2021-09-29 08:57:25 +02:00
copyright_headers.py	Update copyright statements to 2021	2021-01-13 16:17:06 +01:00
file_format.sh	Print colored diffs when there are formatting failures in CI	2021-09-29 08:57:25 +02:00
make_icons.sh	Remove unused scripts from the `misc/scripts` directory	2019-12-17 23:22:47 +01:00
make_tarball.sh	Add script to make source tarball with `.git/HEAD`	2021-08-03 09:29:10 +02:00