diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-09 09:16:29 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-09 09:16:29 +0000 |
| commit | 625ec9e1ae69168f194cbc5bf20846870f03e149 (patch) | |
| tree | a880e76d62e743bc39bc0b052cd37654e16484f6 /crates/ide/src/syntax_highlighting/tags.rs | |
| parent | 5fe8cb1fba2f0fec72f62758fbf02b18fc178d4c (diff) | |
| parent | 38dd9aa284ebe4a980ffb29b128babae5c8f937a (diff) | |
Merge #7215
7215: Hide argument name hint regardless of case r=SomeoneToIgnore a=jhpratt
Co-authored-by: Jacob Pratt <[email protected]>
Diffstat (limited to 'crates/ide/src/syntax_highlighting/tags.rs')
0 files changed, 0 insertions, 0 deletions