diff options
| author | Hugo Herbelin | 2017-08-14 18:59:54 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-11-25 21:19:58 +0100 |
| commit | 67dccb15b1ad7cbe28125dea9dd874d83dc2693e (patch) | |
| tree | 4d50406e15524a396957aec2a99fd2264f8b0b7f /kernel/type_errors.ml | |
| parent | c1e670b386f83ed78104a6eb6e4d17cc1d906439 (diff) | |
Updating the current official writing of OCaml, updating Camlp4->Camlp5.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions