Rumperuu/footnotes
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add pre-commit hook

Browse source
This commit is contained in:
Ben Goldsworthy 2021-02-20 20:44:33 +00:00
parent 077ac22f27
commit 81a41202bb
4 changed files with 176 additions and 32 deletions
Download patch file Download diff file Expand all files Collapse all files

4
_tools/setup.sh Normal file
View file

@ -0,0 +1,4 @@
#!/bin/sh
cp contrib/pre-commit .git/hooks/pre-commit
chmod +x .git/hooks/pre-commit