diff options
author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-10-08 17:12:42 +0000 |
---|---|---|
committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-10-08 17:12:42 +0000 |
commit | dfaf68d43f565231d9bfb89d48ba7e14f99966a7 (patch) | |
tree | b24bd9491801e461d4eb152059c47f483f659e32 /typing/path.mli | |
parent | 75bed92dab1b301ee499405cc5aee9ff2dc3ffba (diff) | |
download | ocaml-dfaf68d43f565231d9bfb89d48ba7e14f99966a7.tar.gz |
Typos.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1062 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/path.mli')
0 files changed, 0 insertions, 0 deletions