You need to sign in or sign up before continuing.
-
Georg Brandl authored
Move Doc/tools/sphinxext content to Doc/tools, there is no need for the nested subdirectory anymore.
97e9ec68
Move Doc/tools/sphinxext content to Doc/tools, there is no need for the nested subdirectory anymore.