Manos Pitsidianakis 450c9f2b1c Add pre-push git hook		2019-12-18 12:38:26 +02:00
..
pre-commit	scripts: remove auto-rustfmt from pre-commit hook	2019-06-10 19:40:33 +03:00
pre-push	Add pre-push git hook	2019-12-18 12:38:26 +02:00