diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-18 17:48:41 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-18 17:48:41 +0000 |
commit | 53f81e4e8c8307069d89cee58cb12142350b09c2 (patch) | |
tree | d720c1bf65987dbf000bf96a35eb8a962a42f6fb /crates/ide/src/display/navigation_target.rs | |
parent | 150ea3a61f07b19db3f55e8c675eba53f1a22961 (diff) | |
parent | 689ebb98be043182a694c40e963842fb913fe33e (diff) |
Merge #6932
6932: Added a warning if conflicting rust-lang.rust is enabled. r=lnicola a=extremegf
Added a warning if conflicting rust-lang.rust plugin is enabled.
Resolves #6463
![Screenshot from 2020-12-18 18-33-02](https://user-images.githubusercontent.com/1788593/102644202-b2f50500-4160-11eb-8fb0-76aeebd80aea.png)
Co-authored-by: Przemyslaw Horban <[email protected]>
Diffstat (limited to 'crates/ide/src/display/navigation_target.rs')
0 files changed, 0 insertions, 0 deletions