diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-04 20:54:54 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-04 20:54:54 +0000 |
commit | 84f250973079508e52d81be88f45a401958442dd (patch) | |
tree | be2864c8f1906f096e37e0778fa18524e2ddbe67 /crates/ra_editor/src/lib.rs | |
parent | 244f9a142f0593ab5847163d1832e464e2524c4b (diff) | |
parent | 54d053c881514b024ba399ce2edc678e3f710ab7 (diff) |
Merge #254
254: Defids r=matklad a=matklad
Fleshing out DefIds some more
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_editor/src/lib.rs')
0 files changed, 0 insertions, 0 deletions