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_parser/src/grammar/patterns.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_parser/src/grammar/patterns.rs')
0 files changed, 0 insertions, 0 deletions