directory /docs/ @ 2614:9d04f5a42445

name size permissions
[up] drwxr-xr-x
dir. _static/ drwxr-xr-x
dir. admin/ drwxr-xr-x
dir. changes/ drwxr-xr-x
dir. devel/ drwxr-xr-x
dir. examples/ drwxr-xr-x
dir. intro/ drwxr-xr-x
dir. licenses/ drwxr-xr-x
dir. man/ drwxr-xr-x
dir. todo/ drwxr-xr-x
dir. user/ drwxr-xr-x
file Makefile 5436 -rw-r--r--
file conf.py 8579 -rw-r--r--
file index.rst 1276 -rw-r--r--
file make.bat 5000 -rw-r--r--