chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45cb7fd) | patch
docs: Change sphinx theme to classic
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 22:52:06 +0000 (23:52 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 22:52:15 +0000 (23:52 +0100)
commite1dd56e21bd051ea2f6f2bf6d4041d088a1a1a8d
tree62df927fe6b8f66f33d698ff74fc22a4379c010ftree | snapshot
parent45cb7fd8e1ce73977e00b05ef3dc8d1651b20d28commit | diff
docs: Change sphinx theme to classic

This seems to make navigation a bit easier.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
docs/conf.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.