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

…

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