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 /editors/code/src/test | |
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 'editors/code/src/test')
0 files changed, 0 insertions, 0 deletions