Markus Heiser ee2675c999 [update] make pygments.less ... Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>		2023-11-27 14:43:43 +01:00
..
plugins/external_plugins	theme: remove __common__	2022-05-07 19:40:48 +02:00
themes/simple	[update] make pygments.less	2023-11-27 14:43:43 +01:00