Jon Koops d5b75adf74 Add GIT hooks to run CI tasks before pushing		2021-07-13 15:55:42 +02:00
..
.gitignore	Add GIT hooks to run CI tasks before pushing	2021-07-13 15:55:42 +02:00
pre-commit	Add GIT hooks to run CI tasks before pushing	2021-07-13 15:55:42 +02:00