diff options
author | Gabriel Valfridsson <[email protected]> | 2020-06-16 21:26:33 +0100 |
---|---|---|
committer | Gabriel Valfridsson <[email protected]> | 2020-06-16 23:00:43 +0100 |
commit | 656e95211edf26bd82bd66f53ca3bcdfb7296e81 (patch) | |
tree | 5770b5e07ac0906acfe80b0c882ec4aa095e958d /crates/ra_ide/src/status.rs | |
parent | 5d7974e5fb921236fea74731d8edde518f08e73a (diff) |
Warnings as hint or info
Diffstat (limited to 'crates/ra_ide/src/status.rs')
0 files changed, 0 insertions, 0 deletions