diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2016-02-17 13:36:07 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2016-02-17 13:36:37 +0100 |
| commit | 6e794aee7257ea72e785dc743981b4cc36cb14c6 (patch) | |
| tree | c0ac9b610cabc6fc7b3e7b7408247ef14b9d9bf8 /stdlib/parsing.mli | |
| parent | 1d40d77502707e9265b62b8d0a8d5ef1fba75e02 (diff) | |
| download | ocaml-6e794aee7257ea72e785dc743981b4cc36cb14c6.tar.gz | |
tools/check-typo: switch to new header format
Diffstat (limited to 'stdlib/parsing.mli')
0 files changed, 0 insertions, 0 deletions