usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

docs: use working sphinxcontrib-platformpicker.

Browse source
This commit is contained in:
whitequark 2020-07-05 23:51:14 +00:00
parent 1fbd7f1d08
commit 175c8a596e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/requirements.txt
View file

@ -1,4 +1,4 @@
sphinx~=3.0 sphinx~=3.0
sphinxcontrib-platformpicker~=1.0 sphinxcontrib-platformpicker~=1.1
-e git+http://github.com/pygments/pygments.git#egg=pygments -e git+http://github.com/pygments/pygments.git#egg=pygments
sphinx-rtd-theme~=0.5.0 sphinx-rtd-theme~=0.5.0