Ezio Melotti 33fc6d6040 #4965: merge with 3.3.		2013-10-14 02:59:54 +03:00
..
sphinxext	#4965: merge with 3.3.	2013-10-14 02:59:54 +03:00
roman.py	…
rstlint.py	Make tool compatible with 2.x and 3.x.	2010-03-12 10:04:37 +00:00
sphinx-build.py	Closes #19248: actually check for Python 3.x in tools/sphinx-build.py.	2013-10-13 22:19:49 +02:00