diff options
| author | Olivier Laurent | 2020-01-05 11:22:37 +0100 |
|---|---|---|
| committer | Olivier Laurent | 2020-01-05 11:22:37 +0100 |
| commit | 33e024f71d4fe63a8165373531ecb291a82bede8 (patch) | |
| tree | 64bcfbc34c00bce3bf8d593851e3eb47f4493c15 /plugins/syntax/plugin_base.dune | |
| parent | 908958868e7356b123a3f8e720574b3b636a5301 (diff) | |
apply suggestions of @anton-trunov
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions