diff options
| author | Aleksey Kladov <[email protected]> | 2020-05-09 14:55:59 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-05-09 14:57:53 +0100 |
| commit | e201e7834d623f954e06925b9de0f14cd5ff90c1 (patch) | |
| tree | 4724422ed5f7242cd23987f30133dc211895154b /editors | |
| parent | c5c07c2a0a1b4809c5aacef3c8e90034d00c3b03 (diff) | |
Ascribe more correct types
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions