Markus Heiser 901819359c [update] make pygments.less ... Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>		2024-05-10 10:00:31 +02:00
..
generated	[update] make pygments.less	2024-05-10 10:00:31 +02:00
js	[feat] preferences: button to enable/disable all engines	2024-04-27 18:26:23 +02:00
less	[feat] preferences: button to enable/disable all engines	2024-04-27 18:26:23 +02:00
svg	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00