diff options
| author | Zeimer | 2018-07-22 14:46:17 +0200 |
|---|---|---|
| committer | Zeimer | 2018-08-04 12:12:54 +0200 |
| commit | 01cde8db675a97170d67e663a3afe5d45b4933e7 (patch) | |
| tree | 4fc35a533ea34d4fae9ef5c4e5fad1888764b304 /plugins/syntax/string_syntax.ml | |
| parent | 3a726a733a0d4c7ea3db30e71829ca27eab1776a (diff) | |
Improved the grammar and spelling of chapter 'Syntax extensions and interpretation scopes' of the Reference Manual.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions