diff options
| author | Pierre-Marie Pédrot | 2020-09-23 11:12:44 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-09-28 09:28:41 +0200 |
| commit | 3a88c57442c0c9a5e23a25d04e3695d6e61587c3 (patch) | |
| tree | 85a81686b74acd0a174b8a001f615f20f75909bd /dev/doc | |
| parent | 7b28475547cc2391034f3e61437777d4513e9094 (diff) | |
Remove the linter ocamlformat pass.
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions