diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-18 17:40:11 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-18 17:40:11 +0000 |
commit | fcc109e8904a1b965cbb860daf4e626a78ec125f (patch) | |
tree | dbd947227c65a73bd80fc2f749896cc87e7d40fb /crates/ide/src/markup.rs | |
parent | 9210f480ac1788aaac18a0a575ee3556e0e5f9e3 (diff) | |
parent | da104bb0f57b061547860184cb81c507f50f9f8e (diff) |
Merge #7326
7326: Use `is_ident` when converting Path to an Identifier r=edwin0cheng a=kevaundray
Co-authored-by: Kevaundray Wedderburn <[email protected]>
Diffstat (limited to 'crates/ide/src/markup.rs')
0 files changed, 0 insertions, 0 deletions