directory /Doc/tools/sphinxext/ @ 80661:94de77bd0b4b 2.7

name size permissions
[up] drwxr-xr-x
dir. static/ drwxr-xr-x
file download.html 2616 -rw-r--r--
file indexcontent.html 3984 -rw-r--r--
file indexsidebar.html 933 -rw-r--r--
file layout.html 1892 -rw-r--r--
file opensearch.xml 171 -rw-r--r--
file patchlevel.py 1982 -rw-r--r--
file pyspecific.py 11035 -rw-r--r--
file susp-ignored.csv 11436 -rw-r--r--
file suspicious.py 8402 -rw-r--r--