diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-01 23:28:03 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-01 23:28:03 +0100 |
commit | a984587c47a8ad8b7dbdae0509089a9f6d898d8d (patch) | |
tree | 9aeaaa6ed8fcb1b23b986c04fa6b7ee4a02f62cf /crates/ra_ide/src | |
parent | 3232fd5179f2e36dee69955ba8aae0463b142e67 (diff) | |
parent | 810c96196167cc44886e40d9b80a14309e3d663a (diff) |
Merge #4252
4252: Update crates r=kjeremy a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'crates/ra_ide/src')
0 files changed, 0 insertions, 0 deletions