Giuseppe De Palma 19f9a911d8 Remove bashism from git pre-commit hook		2021-06-22 07:03:29 +00:00
..
pre-commit.hook	Remove bashism from git pre-commit hook	2021-06-22 07:03:29 +00:00