diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-21 09:38:55 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-21 09:38:55 +0100 |
| commit | a4e6963a2313971fe7bbec97d03bc67266ef68a9 (patch) | |
| tree | dbc6e10c6bc3f56cd374498a088dbcd9c48d13ef /editors/code | |
| parent | 42dd0ce51ffee1dbfc58be7ebb0861aa2331b9cc (diff) | |
| parent | 4fdb1eac08bc29029fe888967dcc11d38d25c205 (diff) | |
Merge #4547
4547: Remove unused cursor positions r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions