Michael Hoennig 62180b9cf6 less output from git-pull-and-if-origin-changed-run-tests		2024-09-13 14:20:00 +02:00
..
git-pull-and-if-origin-changed-run-tests	less output from git-pull-and-if-origin-changed-run-tests	2024-09-13 14:20:00 +02:00