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

chore: remove un-needed setup script

Browse source
This commit is contained in:
Ben Goldsworthy 2021-04-25 16:06:33 +01:00
parent b5f0b6132d
commit 9eda262d23
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
_tools/setup.sh
View file

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