diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-27 21:02:26 +0100 |
|---|---|---|
| committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-27 21:02:26 +0100 |
| commit | de278d164906d6d29974790c5a4db28303692484 (patch) | |
| tree | cc09d9554a015aaf27a7caf6a60e6994f4b4f58b /crates/ra_hir/src/ty/op.rs | |
| parent | 442072d746c06c61923d85b8e33f4201a7bd57ab (diff) | |
| parent | e29cbcbedd9586707d46e82a32c553e0a95632da (diff) | |
Merge #1599
1599: it's a good idea to build extension before installing it r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/ty/op.rs')
0 files changed, 0 insertions, 0 deletions