Jan Tuomi c671206e8a Rename pre-commit to pre-push

2018-01-25 22:36:38 +02:00

..

db

Clean up repo and remove docker

2017-05-18 15:49:04 +03:00

git

Rename pre-commit to pre-push

2018-01-25 22:36:38 +02:00