Michael Hoennig 8178ad80df fix alias usage in git-pull-and-run-if-origin-changed		2024-09-16 08:47:42 +02:00
..
git-pull-and-run-if-origin-changed	fix alias usage in git-pull-and-run-if-origin-changed	2024-09-16 08:47:42 +02:00