diff options
author | Laurențiu Nicola <[email protected]> | 2019-05-23 11:26:38 +0100 |
---|---|---|
committer | Laurențiu Nicola <[email protected]> | 2019-05-23 13:31:35 +0100 |
commit | f1ec88cc56c0bb24c56e6f9f898ac567ce34c79f (patch) | |
tree | 72f4f2b23092cebb2632ee430bf29ab69c6d53f1 /crates/ra_batch | |
parent | 44665685257f18d182ab116855dd9e8b054c49da (diff) |
Improve highlighting of name refs
Diffstat (limited to 'crates/ra_batch')
0 files changed, 0 insertions, 0 deletions