Georg Brandl d8413bab22 merge with 3.3		2014-02-10 22:11:21 +01:00
..
sphinxext	merge with 3.3	2014-02-10 22:11:21 +01: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