diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-21 11:40:33 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-21 11:40:33 +0100 |
commit | 8b6f02d0d6f587c344cda98d64eef784a58e0249 (patch) | |
tree | 314f3abd5f812507418f9307323cec64943ed7c8 /editors/code/src/highlighting.ts | |
parent | c59a3cdb0337fb06907f6bc5ecc6d64b6900ea16 (diff) | |
parent | 02ecd6727a6086f1c089e94b8055efffb6bfc86f (diff) |
Merge #1297
1297: mozilla is sponsoring as well r=matklad a=nikomatsakis
Co-authored-by: Niko Matsakis <[email protected]>
Diffstat (limited to 'editors/code/src/highlighting.ts')
0 files changed, 0 insertions, 0 deletions