diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-24 15:50:46 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-10-24 15:50:46 +0100 |
commit | 81677c3232fc4e6a9fb52889b4e82a8afdee9c7e (patch) | |
tree | fd6b35b6f19a96c2a60f43a4665d23333ab4e0b9 /crates/ra_ide_api/src/lib.rs | |
parent | 95cf5c86fae3adf3bb38521905bf357450125709 (diff) | |
parent | 64c1dd10b84b73207474f8a099a445aa9e724ce6 (diff) |
Merge #2060
2060: bump insta r=matklad a=kjeremy
Dops console 0.8.0
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'crates/ra_ide_api/src/lib.rs')
0 files changed, 0 insertions, 0 deletions