summaryrefslogtreecommitdiff
path: root/tools/pre-commit
diff options
context:
space:
mode:
authorNominate <thomas.bladon@st-hughs.ox.ac.uk>2013-09-28 09:22:20 +0100
committerNominate <thomas.bladon@st-hughs.ox.ac.uk>2013-09-28 09:22:20 +0100
commit62e7d6bbb75762d466b2603ce47ee136e64fef6d (patch)
tree50d58a6cab53c9001032dc556fb9b267461440e2 /tools/pre-commit
parentc7c72b0756e3bf4fcc3e346c34849d801be5c5fd (diff)
Update INSTALL.md
Included git in the apt-get so that new users can use the necessary git clone command.
Diffstat (limited to 'tools/pre-commit')
0 files changed, 0 insertions, 0 deletions