Hugo Locurcio d1a4cb2bea 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-14 13:41:26 +02:00
..
ci	CI: Refactor Android workflow, use pre-installed SDK and NDK	2020-10-23 13:27:44 +02:00
dist	doc: Point URLs to 3.4 version of the online docs	2021-08-12 17:08:10 +02:00
hooks	Allow clang-format 12 in the pre-commit hook	2021-06-07 22:36:31 +02:00
scripts	Print colored diffs when there are formatting failures in CI	2021-09-14 13:41:26 +02:00