diff options
| author | Gaëtan Gilbert | 2018-01-18 16:42:44 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-02-08 17:15:22 +0100 |
| commit | 04a3fa7eac845039b0b1a11d1a5958486f183a4d (patch) | |
| tree | 2805b39efa169b9d8df59acb0959a7d0b2443e28 /dev/tools | |
| parent | 8ab30d25b5ffc6a56e9ca41f446504bba4a726ad (diff) | |
Document configure setting up pre-commit hook in CONTRIBUTING.md
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions