diff options
| author | Zeimer | 2018-07-29 15:25:57 +0200 |
|---|---|---|
| committer | Zeimer | 2018-07-29 15:27:00 +0200 |
| commit | 36d93a9045e924cfa7b432114080d27d6804bc10 (patch) | |
| tree | 244f97a182459c855d1702689c84b8c407f1a1c9 /kernel/type_errors.mli | |
| parent | 231f679965745a4d7677166e8d5f62a38ebde4e7 (diff) | |
Improved grammar and spelling in chapters 'Extraction', 'Program' and 'ring and field' chapters of the Reference Manual.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions