directory /docs/ @ 2915:0b30aa1fa138

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 8574 -rw-r--r--
file index.rst 1274 -rw-r--r--
file make.bat 5527 -rw-r--r--