diff options
| author | Vincent Laporte | 2019-05-06 13:08:14 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-05-06 13:08:14 +0000 |
| commit | 1a670a23ad54cf5a3c2d2bbf4939f78f4f4b6b35 (patch) | |
| tree | 81288272de52b007499b1d8d5933aad508c1660a /plugins/syntax/string_notation.mli | |
| parent | 6ff10c569c1684927d4cb866a159fe6f54e55abe (diff) | |
| parent | 50b148154fada66bb1145aaba696d9b427511592 (diff) | |
Merge PR #9964: Unreleased changelog folder
Ack-by: SkySkimmer
Ack-by: Zimmi48
Reviewed-by: gares
Reviewed-by: vbgl
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions