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	…
dist	doc: Point URLs to 3.4 version of the online docs	2021-08-12 17:08:10 +02:00
hooks	…
scripts	Print colored diffs when there are formatting failures in CI	2021-09-14 13:41:26 +02:00