diff options
| author | Vincent Laporte | 2019-10-08 13:38:01 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-22 06:38:15 +0000 |
| commit | 3dc2750c9b5616d7a8eca1e5288e95c520278eb6 (patch) | |
| tree | 5794e40b0a4f48383edd56f09eddc6e871069518 /plugins/syntax/string_notation.mli | |
| parent | 72723186dd179838c9c11b8fcaf3f1f088eddd93 (diff) | |
Zcomplements: do not use “omega”
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions