Hugo Locurcio 38424714b1 Print colored diffs when there are formatting failures in CI ... This makes diffs more readable in CI logs.		2021-08-25 17:17:29 +02:00
..
black_format.sh	Print colored diffs when there are formatting failures in CI	2021-08-25 17:17:29 +02:00
check_ci_log.py	Fix 'Attempted to remove invalid ID' errors	2021-07-31 15:30:31 +02:00
clang_format.sh	Print colored diffs when there are formatting failures in CI	2021-08-25 17:17:29 +02:00
copyright_headers.py	Update copyright statements to 2021	2021-01-01 20:19:21 +01:00
file_format.sh	Print colored diffs when there are formatting failures in CI	2021-08-25 17:17:29 +02:00
make_icons.sh	Replace HTTP links with HTTPS for sites with HTTPS versions	2021-08-22 20:13:11 -05:00
make_tarball.sh	Add script to make source tarball with `.git/HEAD`	2021-07-29 11:52:43 +02:00