diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-19 14:10:10 +0100 |
|---|---|---|
| committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-19 14:10:10 +0100 |
| commit | 8718a47088585bdb411f37d1b7cd1244d7528eaa (patch) | |
| tree | 254e13d1f0fb3072d02ba58f918de043a5cfcded /.vscode/tasks.json | |
| parent | c0e36ab0c33a7c721c0919b4285e0b23e10ce9d5 (diff) | |
| parent | f9d9e0a1f75b48813fe816a1e2a6c30146a36503 (diff) | |
Merge #1551
1551: several highlighting cleanups r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.vscode/tasks.json')
0 files changed, 0 insertions, 0 deletions