diff options
| author | Théo Zimmermann | 2020-01-22 17:18:20 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-01-22 17:18:20 +0100 |
| commit | 2b908101ab93303b20a41e9b69a5549109ec4603 (patch) | |
| tree | ee7e0cd8b979ab8fc3ded6228d61232a318dd262 /plugins/syntax/plugin_base.dune | |
| parent | e976070889c81d833dcdd36b760745dc924698aa (diff) | |
Move new entries in 8.11.0 changelog.
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions