diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-23 16:30:26 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-23 16:30:26 +0000 |
commit | 89fef5307e81d5d23bb65677000f35332190661a (patch) | |
tree | 8eb34b02a7d3e9220d61384102ea48703d99c13d /crates/ide/src/syntax_highlighting/html.rs | |
parent | fb2b9c7212b8a8ad88132473ea03cd6de20c85ab (diff) | |
parent | ea1683ea968ca1e692d00ecddf18e57b64a44e30 (diff) |
Merge #7411
7411: cargo update r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ide/src/syntax_highlighting/html.rs')
0 files changed, 0 insertions, 0 deletions