diff options
| author | Théo Zimmermann | 2018-08-01 11:10:05 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-01 11:10:05 +0200 |
| commit | 734a4b3520b8fd1a9ed0b37debb96187a4567216 (patch) | |
| tree | 259e0fa898f33b631d880a9487b7095af74595d6 /plugins/syntax/plugin_base.dune | |
| parent | 2dcb340f82c3df70d8fe2c6acc3536913a86144a (diff) | |
| parent | 36d93a9045e924cfa7b432114080d27d6804bc10 (diff) | |
Merge PR #8184: Improved grammar and spelling in chapters 'Extraction', 'Program' and 'ring and field' chapters of the Reference Manual.
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions