Michael Hoennig c0702ee183 less output from git-pull-and-if-origin-changed-run-tests		2024-09-16 08:47:43 +02:00
..
git-pull-and-if-origin-changed-run-tests	less output from git-pull-and-if-origin-changed-run-tests	2024-09-16 08:47:43 +02:00