diff options
| author | Pierre-Marie Pédrot | 2020-09-23 11:11:38 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-09-28 09:28:41 +0200 |
| commit | 7b28475547cc2391034f3e61437777d4513e9094 (patch) | |
| tree | c43c76195e78fcba4a80293524dc2e81135bed57 /dev/include | |
| parent | 9c2228ff011dc6188b70084fa1e1a5158affcf24 (diff) | |
Remove the ocamlformat git hook.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions