Commit Graph

2 Commits

Author SHA1 Message Date
Benjamin Peterson
af80ce3f82 highlight is now highlighted (closes #23909) 2015-04-10 18:40:21 -04:00
Georg Brandl
f16fbf940f 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