Skip to content

doc: Fix HotkeysProvider in documentation#1021

Merged
JohannesKlauss merged 1 commit intoJohannesKlauss:mainfrom fineup:documentationMay 5, 2023

Commits