torproject/tor
1
0
Fork 0
mirror of https://gitlab.torproject.org/tpo/core/tor.git synced 2024-12-06 19:41:15 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge branch 'ticket31176' into ticket31176_merged

Browse Source
This commit is contained in:
Nick Mathewson
2019-08-21 09:46:20 -04:00
parent 4b1e0dd5b5 0f4b245b20
commit cc48eff2d3
12 changed files with 462 additions and 181 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/git/pre-commit.git-hook
+2 -2
View File
@@ -36,8 +36,8 @@ elif [ -d src/common ]; then
src/tools/*.[ch]
fi
if test -e scripts/maint/checkIncludes.py; then
python scripts/maint/checkIncludes.py
if test -e scripts/maint/practracker/includes.py; then
python scripts/maint/practracker/includes.py
fi
if [ -e scripts/maint/practracker/practracker.py ]; then