diff options
| author | Zeimer | 2018-07-25 16:19:29 +0200 |
|---|---|---|
| committer | Zeimer | 2018-08-01 14:45:55 +0200 |
| commit | 3d5d7c8323f787a1635118766e59299277c39c28 (patch) | |
| tree | 54c5b635c262d544cec719f5a11e9816a8420fb5 /kernel/nativelambda.mli | |
| parent | 68447a7c226a114d473fd6fa515893fb3f19644e (diff) | |
Improved grammar and spelling in chapter 'Extended pattern matching' of the Reference Manual.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions