diff options
| author | Antoine Beaupré <anarcat@koumbit.org> | 2015-10-09 16:09:25 -0400 |
|---|---|---|
| committer | Antoine Beaupré <anarcat@koumbit.org> | 2015-10-09 16:09:27 -0400 |
| commit | 3c535b9d7ab1f49e39c5b5632f97545b147b4b05 (patch) | |
| tree | 55fee9708693789260c38f4f2b4837bceedb892f /docs/_themes/local/theme.conf | |
| parent | 1c61f87da3a1128afcf4c03b157477de3948dfe5 (diff) | |
switch to default rtd theme
this still doesn't quite work: our sidebar is gone, so no more useful
links and related projects. we also loose the link to github and the
RTD popup, although the latter still needs to be confirmed on RTD
infra
Diffstat (limited to 'docs/_themes/local/theme.conf')
0 files changed, 0 insertions, 0 deletions