Ezio Melotti 47fd9d8e09 #4965: Implement intelligent scrolling of the sidebar in the docs.

2013-10-14 02:58:59 +03:00

..

sphinxext

#4965: Implement intelligent scrolling of the sidebar in the docs.

2013-10-14 02:58:59 +03:00

roman.py

…

rstlint.py

…

sphinx-build.py

Closes #19248: actually check for Python 3.x in tools/sphinx-build.py.

2013-10-13 22:19:49 +02:00