diff options
author | RĂ¼diger Herrmann <[email protected]> | 2020-08-08 10:57:54 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-08 10:57:54 +0100 |
commit | c04b2e39dacfea5c6ba158d842fb3b7f3e0db12b (patch) | |
tree | 0c99c2a67fa04f1b7c14f732b2f0889a7445541c /crates/ra_ide/src/display/short_label.rs | |
parent | 7a02cc8845ba4e9e3ec414283c60333143831733 (diff) |
Fix typo in settings description
Remove a duplicate word from the description of the `warningsAsHint` setting.
Diffstat (limited to 'crates/ra_ide/src/display/short_label.rs')
0 files changed, 0 insertions, 0 deletions