Gulliver 1eeb2b83a7 new theme wtf_coop created from sphinx13, config changed to use new theme, no further adapations than filenames are done		2021-08-14 13:11:36 +02:00
..
static	new theme wtf_coop created from sphinx13, config changed to use new theme, no further adapations than filenames are done	2021-08-14 13:11:36 +02:00
layout.html	new theme wtf_coop created from sphinx13, config changed to use new theme, no further adapations than filenames are done	2021-08-14 13:11:36 +02:00
theme.conf	new theme wtf_coop created from sphinx13, config changed to use new theme, no further adapations than filenames are done	2021-08-14 13:11:36 +02:00