bors[bot] 25bf451c84
Merge #9264
9264: feat: Make documentation on hover configurable r=Veykril a=Veykril

This also implements deprecation support for config options as this renames `hoverActions_linksInHover` to `hover_linksInHover`.

Fixes #9232

Co-authored-by: Lukas Wirth <lukastw97@gmail.com>
2021-06-21 14:15:49 +00:00
..
2021-06-13 09:24:16 +05:30
2021-06-13 09:24:16 +05:30
2021-06-19 12:03:59 +03:00
2021-06-21 14:15:49 +00:00
2021-06-18 23:38:19 +03:00
2021-06-17 17:37:14 +02:00
2021-06-21 14:15:49 +00:00
2021-05-15 17:22:39 +02:00
2021-05-15 17:22:39 +02:00
2021-06-11 01:27:20 +03:00
2021-06-17 17:37:14 +02:00
2021-06-13 09:24:16 +05:30