diff options
| author | Jonas Schievink <[email protected]> | 2020-12-04 18:37:37 +0000 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-12-04 18:37:37 +0000 |
| commit | e45ab7e0ecb681a2d19bd94fb0b2c09b88309319 (patch) | |
| tree | edd80c716d167f41381918b5a08b4319d67162c1 /editors/code/.gitignore | |
| parent | 6943b530235df98c1ceec27d7f80a974511d3c7e (diff) | |
Fix `diagnostics` subcommand, look at all modules
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions