Peter Barker 360e2f49b3 Tools: git-tools: add a script suitable for use as a pre-commit hook		2021-02-18 10:43:05 +11:00
..
git-commit-subsystems	…
git-subsystems-split	…
path-libraries.sh	…
path-nonlibraries.sh	…
pre-commit.py	…