| commit | 9549edad60627b0a400a7e05adbbc6f3d79fa4e0 | |
| author | David Aguilar <davvid@gmail.com> | |
| Tue, 1 Sep 2020 17:09:07 +0000 (1 10:09 -0700) | ||
| committer | David Aguilar <davvid@gmail.com> | |
| Tue, 1 Sep 2020 17:09:07 +0000 (1 10:09 -0700) | ||
| tree | 253c3d5f28c2f3246efffbd212804418983cea2e | treesnapshot (tar.gz zip) |
| parent | 026424a776cef8d37955a874a4846457e89c9f76 | commitdiff |
doc: use sphinx-rtd-theme when available
Detect whether sphinx-rtd-theme is installed and use it when available.
Signed-off-by: David Aguilar <davvid@gmail.com>
Detect whether sphinx-rtd-theme is installed and use it when available.
Signed-off-by: David Aguilar <davvid@gmail.com>
| requirements/requirements-dev.txt | diffblobblamehistory | |
| share/doc/git-cola/conf.py | diffblobblamehistory |