diff options
| author | Emilio Jesus Gallego Arias | 2020-04-08 17:29:53 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-13 17:17:14 -0400 |
| commit | bfc26bc3d13af4c6142e716d33e208a3382639fb (patch) | |
| tree | d05befcb21d3eb7290feee853dba6da8704b15fb /kernel | |
| parent | f2cdb87232e3b04cbd1e199833253fb3e38156f8 (diff) | |
[ocamlformat] Update to 0.14.0
No diff to sources (luckily), see release notes at
https://discuss.ocaml.org/t/ann-ocamlformat-0-14-0/5435 for more
information.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions