diff options
| author | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@Inria.fr> | 2019-06-26 19:03:15 +0200 |
|---|---|---|
| committer | Florian Angeletti <octa@polychoron.fr> | 2019-06-26 19:03:15 +0200 |
| commit | 6a6f34e48306d573bf3036681cb304ed84415957 (patch) | |
| tree | 5452b14c2a659924fbd33f868d40bc64300ed335 /man | |
| parent | 4820d299fc7552b26fe118b8e60417b16430c9e8 (diff) | |
| download | ocaml-6a6f34e48306d573bf3036681cb304ed84415957.tar.gz | |
Fix typographic issues in the doc of new modules (#8744)
* Fix typographic issues in the doc of new modules
No change entry needed
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions