diff options
| author | Daniel Hillerström <daniel.hillerstrom@ed.ac.uk> | 2023-05-12 17:07:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-12 17:07:04 +0200 |
| commit | 37eea6f631b070eb40ac0540d66086c6f11911ba (patch) | |
| tree | e3f667de428dec61d4d0a9fc0bf4fc1122a80b5f /Makefile.dev | |
| parent | d7ced7e6b0ac2b03fda7b0bcc29c46fef26f71c9 (diff) | |
| download | ocaml-37eea6f631b070eb40ac0540d66086c6f11911ba.tar.gz | |
Fix typo in privatetypes.etex
This commit fixes a trivial typo in the manual pages about private types.
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions