ToM 63fe4881cc doc: remove the markdown plugin from the plugins list ... The plugin is now part of core since v0.12.0		2021-08-01 16:44:31 +02:00
..
custom_theme	Fix documentation build	2021-05-13 11:36:37 +02:00
md	doc: remove the markdown plugin from the plugins list	2021-08-01 16:44:31 +02:00