aboutsummaryrefslogtreecommitdiff
path: root/dev/tools/pre-commit
diff options
context:
space:
mode:
authorGaëtan Gilbert2018-01-18 16:42:44 +0100
committerGaëtan Gilbert2018-02-08 17:15:22 +0100
commit04a3fa7eac845039b0b1a11d1a5958486f183a4d (patch)
tree2805b39efa169b9d8df59acb0959a7d0b2443e28 /dev/tools/pre-commit
parent8ab30d25b5ffc6a56e9ca41f446504bba4a726ad (diff)
Document configure setting up pre-commit hook in CONTRIBUTING.md
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions