diff options
| author | Aleksey Kladov <[email protected]> | 2019-07-05 17:27:20 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-07-05 17:27:20 +0100 |
| commit | fd30ec406ba776e670dbd46b964de626f28e2857 (patch) | |
| tree | 49fed9c0f129306ce38dc201fe714f5d9c7651c4 /.github | |
| parent | ec6f71576ace170fd306a68f77e5c5e9646d15be (diff) | |
properly restrict diagnostics to a single file
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions