diff options
| author | Théo Zimmermann | 2019-08-16 13:34:55 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-08-16 13:34:55 +0200 |
| commit | af4f14b16f8fc6817a2995b41398fdbbce1f74c9 (patch) | |
| tree | 4d8e3e2207ddfacf4ca62b3667b2c4c4699b9947 /plugins/syntax/string_notation.ml | |
| parent | b8477fb38842016c226ba9d7be8f60486411a2ee (diff) | |
Fix quoting in 8.9 changelog entry.
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions