2020-04-08 13:27:35 +03:00
|
|
|
breathe==4.14.2
|
2019-09-13 11:37:06 +03:00
|
|
|
semver==2.8.1
|
2020-04-08 13:27:35 +03:00
|
|
|
sphinx==2.4.4
|
2020-04-06 22:17:41 +03:00
|
|
|
#FIXME: switch back to upstream sphinx-js when https://github.com/mozilla/sphinx-js/pull/135 is merged or the issue is fixed otherwise
|
|
|
|
|
git+git://github.com/reuben/sphinx-js.git@a24775935443d21028ee4a7025a407c78030c4e7#egg=sphinx-js
|
2019-09-13 11:37:06 +03:00
|
|
|
sphinx-rtd-theme==0.4.3
|
2020-04-08 13:27:35 +03:00
|
|
|
pygments==2.6.1
|
