projects / nmigen.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: fe6fc96)
docs: use working sphinxcontrib-platformpicker.
authorwhitequark <whitequark@whitequark.org>
Sun, 5 Jul 2020 23:51:14 +0000 (23:51 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 31 Dec 2021 14:43:33 +0000 (14:43 +0000)
docs/requirements.txt patch | blob | history

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 9ac1c1d5a7ca7afb7b5518f17d35bd66d4c61c96..0f513163df5ecc3514c181047588909b294e7322 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,4 +1,4 @@
 sphinx~=3.0
-sphinxcontrib-platformpicker~=1.0
+sphinxcontrib-platformpicker~=1.1
 -e git+http://github.com/pygments/pygments.git#egg=pygments
 sphinx-rtd-theme~=0.5.0