diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-06 14:14:58 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-06 14:14:58 +0000 |
commit | 07340a62cc1b34efcebfc9f4cfc42f655edd2fc8 (patch) | |
tree | 9930463c783f93780981eb3dffd129df11115c4c /crates/ra_hir_ty/src/infer/pat.rs | |
parent | 1953ac17fd8c93d2145ec3103fd39dd9d6c8fd30 (diff) | |
parent | 218d211f48f2f9937b51ba1409eeae85d5acd331 (diff) |
Merge #2750
2750: add note in vscode instructions for vim plugin users r=matklad a=guswynn
Fixes #2746
As the issue mentions, this is already mentioned below in the setting docs. However, it ended up taking me a long time to figure this out, so a note in the instructions for Vscode specifically is helpful
Co-authored-by: Gus Wynn <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer/pat.rs')
0 files changed, 0 insertions, 0 deletions