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