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 /docs/dev | |
| 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 'docs/dev')
0 files changed, 0 insertions, 0 deletions