diff options
| author | Hugo Herbelin | 2018-04-16 21:17:46 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-04-16 21:21:47 +0200 |
| commit | 56eb5bb876aaf60b8f1b77e949d449d24adc9e44 (patch) | |
| tree | 14943c55fbbf51ba5b465af9f81be44c8b1eee8a /dev/tools/pre-commit | |
| parent | d4d33ecae807deb850c4da187359f46892e90b64 (diff) | |
Protecting against a "deprecated cofix" warning.
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions