Vadim Zeitlin 52d63eedd2 Don't rerun CI builds for docs-only changes ... Avoid running the builds unnecessarily.		2021-01-28 17:33:26 +01:00
..
ci.yml	Don't rerun CI builds for docs-only changes	2021-01-28 17:33:26 +01:00
code_checks.yml	Really ignore TABs in makefiles etc in the whitespace check	2020-10-06 02:14:46 +02:00