diff options
| author | Olivier Laurent | 2020-01-10 13:39:28 +0100 |
|---|---|---|
| committer | Olivier Laurent | 2020-01-10 13:39:28 +0100 |
| commit | 1c950aa1b022fd338765b57dacf853dd96941ae4 (patch) | |
| tree | bfde767eb70e639a41c3ea8405d4f8f4b8ae5fa4 /plugins/syntax/string_notation.mli | |
| parent | 620986fc66f9c383bc47188f1c3e9320d8437378 (diff) | |
missing space
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions