diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-23 19:58:03 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-23 19:58:03 +0000 |
commit | c6d6a7d41213dc06bb1f36745d5eaf8b91a99b99 (patch) | |
tree | a6fd422786b72b621fec4a3c21d7f019656f9b1d /editors/code/.gitignore | |
parent | 20f8e660cafd9db3578b5ff005b84846f09d45f5 (diff) | |
parent | caaeb92882a082bf1ac8b7d74c09ca0295c2ed10 (diff) |
Merge #8178
8178: Show item info when hovering intra doc links r=Veykril a=Veykril
![r4uIITP0IZ](https://user-images.githubusercontent.com/3757771/112197618-91e2fb00-8c0c-11eb-9edc-a7923214d2b6.gif)
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions