diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-23 19:47:14 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-23 19:47:14 +0100 |
| commit | c12a713739e30019497ab0f5e7bfa776122bfc6d (patch) | |
| tree | 87e32301e1507a677840066c1547d86fd21e0460 /editors/code/src/extension.ts | |
| parent | a745afcc36ef273eb44bc9f71a40d9948d7309b0 (diff) | |
| parent | 13d7fc1620c7af448c9f234f806f4aee342b3948 (diff) | |
Merge #1898
1898: Drive by lints r=kjeremy a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'editors/code/src/extension.ts')
0 files changed, 0 insertions, 0 deletions