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.
b76bd0fd
Move Doc/tools/sphinxext content to Doc/tools, there is no need for the nested subdirectory anymore.