diff options
| author | Mi. Lia <mlliarm@yandex.com> | 2022-02-20 15:15:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-20 22:15:33 +0800 |
| commit | 7c401735bc065e0bf6db1a474c77be762de7c8f0 (patch) | |
| tree | 3bfcbe0a2c65c70fbbaa3411f106832900e1157e /id-id | |
| parent | ad760a7adf9460ba1b6e4514d7fdabe743e5943e (diff) | |
[ocaml/el-gr] A minor but important fix regarding syntax coloring (#4319)
Diffstat (limited to 'id-id')
0 files changed, 0 insertions, 0 deletions