From 175c8a596ef1adaa74961a47e48a0ed441c05809 Mon Sep 17 00:00:00 2001 From: whitequark Date: Sun, 5 Jul 2020 23:51:14 +0000 Subject: [PATCH] docs: use working sphinxcontrib-platformpicker. --- docs/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/requirements.txt b/docs/requirements.txt index 9ac1c1d..0f51316 100644 --- 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 -- 2.30.2