Georg Brandl 61bd1dcf9b Move Doc/tools/sphinxext content to Doc/tools, there is no need for the nested subdirectory anymore.		2014-09-30 22:56:38 +02:00
..
basic.css	…
copybutton.js	…
py.png	…
sidebar.js	…
version_switch.js	…