5 Commits (fe200a32189ee7b61de9088946b5e561351671ab)

Author	SHA1	Message	Date
Manos Pitsidianakis	450c9f2b1c	Add pre-push git hook	2019-12-18 12:38:26 +02:00
Manos Pitsidianakis	1ab7c0ee3b	scripts: remove auto-rustfmt from pre-commit hook	2019-06-10 19:40:33 +03:00
Manos Pitsidianakis	f6caf993ae	change pre-commit script	2019-06-10 19:40:32 +03:00
Manos Pitsidianakis	2b6d1e0dbf	Run clippy lints	2019-06-10 19:40:31 +03:00
Manos Pitsidianakis	9abfc855fa	Add scripts/ dir	2019-06-10 19:40:28 +03:00