directory /docs/ @ 2:f562a6abeaf0 default tip

name size permissions
[up] drwxr-xr-x
file Makefile 6830 -rw-r--r--
file conf.py 8469 -rw-r--r--
file index.rst 639 -rw-r--r--