diff options
| author | Lukas Wirth <[email protected]> | 2021-06-14 14:31:14 +0100 |
|---|---|---|
| committer | Lukas Wirth <[email protected]> | 2021-06-14 14:31:14 +0100 |
| commit | 9043c5db864ef9bffb4e5e403cf091b073133b40 (patch) | |
| tree | 42410bb801bc2d5536778f5a6ee3a7af241618e6 /editors | |
| parent | a93d166f0fecb748d8cb04aab7f5406bf6308c2d (diff) | |
Don't ignore hover documentation setting for keyword hovers
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions