diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-18 19:29:09 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-18 19:29:09 +0000 |
commit | cb0d77ab3cbed674fdab9baf5c834f89b67a628d (patch) | |
tree | 08ab30e1b508847a8012df0515943654820e907e /editors/code/src/ctx.ts | |
parent | 39282ec419046d84ad5972d5b02b1af9885e1282 (diff) | |
parent | 21a6384ce6e50520a63b8826015b282be4a60c25 (diff) |
Merge #7337
7337: Remove obsolete RangeInfo usage in rename r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'editors/code/src/ctx.ts')
0 files changed, 0 insertions, 0 deletions