diff options
| author | Théo Zimmermann | 2019-12-13 21:10:34 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-12-13 21:10:34 +0100 |
| commit | bd2b6097e731cad6654cd2948d1483a39fb37b84 (patch) | |
| tree | 2b97bbe676b40ef00bf450f65ec16c6dade04909 /kernel/type_errors.mli | |
| parent | 15c289153e09d4202315319f95f0b284ca8d0fee (diff) | |
| parent | eb00b4aa84d32f987a44538028a749386050210b (diff) | |
Merge PR #11257: [dev] [ocaml] Add ocamlformat configuration.
Reviewed-by: Zimmi48
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions