diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-26 08:47:56 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-26 08:47:56 +0000 |
commit | c869ee219a80af1993496e00490dc107202ff55c (patch) | |
tree | 5717d124c71de13412f61a8584b119da378828ae /editors/code/src/highlighting.ts | |
parent | ac757e114e9dcbc70600803dd4adc4f99ecde78e (diff) | |
parent | 410a3ae6e847b59f9930ce4d6bf9f3c5f1d72167 (diff) |
Merge #665
665: Pr 556 r=matklad a=matklad
Rebased #556
Thanks @vemoo, now I can change branches without reopening VS Code!
Co-authored-by: Bernardo <[email protected]>
Diffstat (limited to 'editors/code/src/highlighting.ts')
0 files changed, 0 insertions, 0 deletions