diff options
| author | Frédéric Besson | 2020-05-20 14:15:34 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-06-14 11:26:44 +0200 |
| commit | 5017d5212788d215cd648725ba69813c4589b787 (patch) | |
| tree | d18c8bc567eeca7e9e3224ed3bef45b66beaab3c /plugins/syntax/string_notation.mli | |
| parent | 13f09096c1dc75898e32e915161b928a68b45346 (diff) | |
fix according to review by @pi8027
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions