]> git.ipfire.org Git - thirdparty/knot-resolver.git/commit
projects / thirdparty / knot-resolver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b09779c) | patch
doc/conf: remove some rtd_theme options obs-knot-resolver-bs4hbr/deployments/524
authorTomas Krizek <tomas.krizek@nic.cz>
Thu, 16 Jan 2020 08:57:22 +0000 (09:57 +0100)
committerTomas Krizek <tomas.krizek@nic.cz>
Thu, 16 Jan 2020 08:57:22 +0000 (09:57 +0100)
commit612c09dc94e0e69415108fc17fcf30d90dca0625
tree02ec718c88f5d915e4b8b70a4075ea15b141c80dtree | snapshot
parentb09779cd6fa3cfa5c98d0d9dc7b6b4abac2692cdcommit | diff
doc/conf: remove some rtd_theme options

These options are not essential and they are only supported with newer
versions of the theme, which are unavailable in older distributions.
doc/conf.py diff | blob | blame | history
Mirror of https://gitlab.nic.cz/knot/knot-resolver.git