diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-05 17:30:38 +0100 |
---|---|---|
committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-05 17:30:38 +0100 |
commit | 3775e5e27d39301770d396f320aac97b48cd47c0 (patch) | |
tree | 37a28b368727205f7b2827e654061323383cabef /editors/code/src/extension.ts | |
parent | feae74e02c4ed0a134b6d3f18dd5d79baff85c3d (diff) | |
parent | fd30ec406ba776e670dbd46b964de626f28e2857 (diff) |
Merge #1494
1494: properly restrict diagnostics to a single file r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src/extension.ts')
0 files changed, 0 insertions, 0 deletions