Nadja Reitzenstein 3078d5dab8 add pre-push hook to check formatting		2022-05-05 19:21:51 +02:00
..
git-pre-commit-hook	add a version controlled git pre-commit hook	2022-05-05 15:52:03 +02:00
git-pre-push-hook	add pre-push hook to check formatting	2022-05-05 19:21:51 +02:00