7 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	0876cc02fc	Merge master	2023-06-23 21:50:44 +02:00
Pieter Vander Vennet	e6163ed2eb	Merge develop	2023-05-08 00:20:32 +02:00
Pieter Vander Vennet	b0052d3a36	refactoring: Fix documentation generation, (auto)remove documentation of deleted themes	2023-04-15 03:15:17 +02:00
Pieter Vander Vennet	fa028df4d7	Housekeeping...	2023-02-12 23:08:57 +01:00
Pieter Vander Vennet	2a8b17af01	Housekeeping...	2023-01-13 03:58:43 +01:00
Pieter Vander Vennet	5da7eab890	Housekeeping...	2022-12-31 01:38:24 +01:00
Pieter Vander Vennet	43613e4ece	Add hotkeys, document hotkeys, make 'DefaultGUI' runnable via NodeJS, generate hotkey documentation	2022-12-24 03:44:21 +01:00