diff options
| author | gfreezy <[email protected]> | 2018-12-24 15:00:18 +0000 |
|---|---|---|
| committer | gfreezy <[email protected]> | 2018-12-24 15:00:18 +0000 |
| commit | 29798c763cc121f7d610544deb940d70e4e33649 (patch) | |
| tree | 4e492b0bf1c55acb0ca5079670a52739645674f8 /crates/ra_editor | |
| parent | 70df097c89ee45e4e0709c21b8aeee2e84e09fc4 (diff) | |
remove option from Diagnostic
Diffstat (limited to 'crates/ra_editor')
0 files changed, 0 insertions, 0 deletions