diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-09 15:42:38 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-09 15:42:38 +0000 |
commit | ecfa68a3f50c2e305d2fcd7be09cde729147e023 (patch) | |
tree | 55c5a3205c1971681559ee4606995ff2088b387b /crates/ra_vfs/src/lib.rs | |
parent | 76b3985d70f850e22e6cc630230e56dd7cb96f9a (diff) | |
parent | e7bf5dc94052c5259d0aeca32b84e2016ec3d262 (diff) |
Merge #474
474: Fix rev to deleted branch r=matklad a=weiznich
Co-authored-by: Georg Semmler <[email protected]>
Diffstat (limited to 'crates/ra_vfs/src/lib.rs')
0 files changed, 0 insertions, 0 deletions