diff options
| author | Théo Zimmermann | 2018-08-04 15:44:40 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-04 15:44:40 +0200 |
| commit | 72c2d6089ac346435b888cc085b66f9c5b46be8c (patch) | |
| tree | 6c9e790aec0f10e2e72cbd9c8052fed449c6f841 /kernel/cemitcodes.ml | |
| parent | b7f88dd4e24331d4d881fbb1b7a678597aabf733 (diff) | |
| parent | 01cde8db675a97170d67e663a3afe5d45b4933e7 (diff) | |
Merge PR #8142: Improved the grammar and spelling of chapter 'Syntax extensions and interpretation scopes' of the Reference Manual.
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions