2 Commits

Author	SHA1	Message	Date
Ezio Melotti	90ba2ca68a	#26246: update copybutton.js after JQuery update. Patch by Liang-Bo Wang.	2016-02-27 08:39:36 +02:00
Georg Brandl	97e9ec688c	Move Doc/tools/sphinxext content to Doc/tools, there is no need for the nested subdirectory anymore.	2014-09-30 22:51:30 +02:00