diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-18 09:26:24 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-18 09:26:24 +0000 |
| commit | 16c7ebbb27dc81b4640b5694f36b381cae706c8d (patch) | |
| tree | a6f9a860d59e24b0c9141ad8d73e980cfb9ed748 /editors/code/src/highlighting.ts | |
| parent | 564ab84b787cca0f5994451eb2ce9e1ba8c9d974 (diff) | |
| parent | a92db7c84829becdf95e0a5ef6e27cdf833518b8 (diff) | |
Merge #854
854: more compact edits in insta r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src/highlighting.ts')
0 files changed, 0 insertions, 0 deletions