5 Commits (0a34b082f695f3cd84d36eab1a9371248441a981)

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