diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-17 13:19:59 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-17 13:19:59 +0000 |
commit | ba6312a2df31235f3d4dce6acd479b8046c1087c (patch) | |
tree | fdb5e51c7891297e089bee644fca2d0cd464d939 /editors/code/src/highlighting.ts | |
parent | 7191dd7d5311af0ad8ce5ea9d6d81b64acd25355 (diff) | |
parent | 624abc1db3a291c76b7c6dbcea39e85ae5cb8f6b (diff) |
Merge #2571
2571: Fixed a typo in settings r=matklad a=omerbenamram
@lnicola found a typo in the description for one of the settings introduced in #2559.
Co-authored-by: Omer Ben-Amram <[email protected]>
Diffstat (limited to 'editors/code/src/highlighting.ts')
0 files changed, 0 insertions, 0 deletions