diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-28 15:15:58 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-02-28 15:15:58 +0000 |
commit | 358b9a50f73000711371a82546161956f53f8c9c (patch) | |
tree | 48ece8d9f446b88d7efe6b8695435f2b83423e5d /crates/ide/src/syntax_highlighting/highlight.rs | |
parent | 803ff2e55eeb6bd1d9028fbbffe34721f0e6d459 (diff) | |
parent | f5c6c43bd155c2a76b7a05513d398a39ed2719a9 (diff) |
Merge #7809
7809: Delete old issues from GitHub's bug report template r=lnicola a=saruman9
Co-authored-by: saruman9 <[email protected]>
Diffstat (limited to 'crates/ide/src/syntax_highlighting/highlight.rs')
0 files changed, 0 insertions, 0 deletions