Michael Hoennig 1fbcd661b0 add bin/git-pull-and-run-if-origin-changed		2024-09-13 09:46:01 +02:00
..
git-pull-and-run-if-origin-changed	add bin/git-pull-and-run-if-origin-changed	2024-09-13 09:46:01 +02:00