diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-28 12:53:09 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-02-28 12:53:09 +0000 |
| commit | 7e5cfcd4fb708f5d20a244ef010eaf57c055310d (patch) | |
| tree | 4ec766d126d22057c5fc47f1c4099e248c3423b2 /crates/ra_hir_ty/src/lib.rs | |
| parent | 3e25b17cfd0bd9bbd741ca6cf16ab39089910a74 (diff) | |
| parent | 8e88db90bce7202c0e8b5e35f4dd9cf08af5dc5a (diff) | |
Merge #3362
3362: removing ctrl+r key binding fixes #2733 r=matklad a=jasonwilliams
@matklad i didn't see this mentioned anywhere else in the features.md
Co-authored-by: Jason Williams <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/lib.rs')
0 files changed, 0 insertions, 0 deletions