diff options
| author | Gaëtan Gilbert | 2020-04-09 13:19:12 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-04-09 13:19:12 +0200 |
| commit | 13e727ae9c7400ae0f2d9c2a5057c50e1d9b5858 (patch) | |
| tree | 687e6f06820e76faff08a89c3af7c024cb6abcd0 /doc/plugin_tutorial/tuto2 | |
| parent | d233c495821f5090b9dd37eec5ed07930f66b561 (diff) | |
| parent | 1d5128ba09c103594e7f03002880a31b6ef6ea91 (diff) | |
Merge PR #12056: [pre-commit] Check ocamlformat version and silence ocamlformat.
Reviewed-by: SkySkimmer
Diffstat (limited to 'doc/plugin_tutorial/tuto2')
0 files changed, 0 insertions, 0 deletions