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