rtfm/sphinx/theme
2021-08-05 19:37:38 +02:00
..
wtf_coop new theme wtf_coop created from sphinx13, config changed to use new theme, no further adapations than filenames are done 2021-08-05 19:37:38 +02:00