diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-18 14:44:37 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-18 14:44:37 +0000 |
commit | 04080dc4f6522f99356ea130fc83c55e9457e700 (patch) | |
tree | 546aa50ccef201e0f6cb2561666df958f98b2148 /crates/ra_ide/src/syntax_highlighting.rs | |
parent | cecf25b72f2af84fc1535cf52d6f3c1b52802565 (diff) | |
parent | 48737be857e780ac81b92510e3d8a61617f5d59a (diff) |
Merge #3221
3221: Fix dev guide broken links r=matklad a=lnicola
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/ra_ide/src/syntax_highlighting.rs')
0 files changed, 0 insertions, 0 deletions