diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-11-11 08:41:54 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-11-11 08:41:54 +0000 |
| commit | 113d7e44b7d4dee1be6a3d9fd8c724a3fff37b26 (patch) | |
| tree | 6b8663b1c506812457a3df72e08e214fb757d6e7 /crates/ra_arena/src/map.rs | |
| parent | 8f98f0730394cd30031f8c56132247829166bf18 (diff) | |
| parent | 3188c1451a6f1237859dcb813debef9fa537195c (diff) | |
Merge #2203
2203: Hover for builtins r=matklad a=kjeremy
Fixes #2192
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ra_arena/src/map.rs')
0 files changed, 0 insertions, 0 deletions