Vadim Zeitlin 1aae6e26ca Remove useless echo from GitHub CI script ... "Testing" is already shown as the step title.		2021-02-05 18:56:27 +01:00
..
ci.yml	Remove useless echo from GitHub CI script	2021-02-05 18:56:27 +01:00
code_checks.yml	Really ignore TABs in makefiles etc in the whitespace check	2020-10-06 02:14:46 +02:00