directory /doc/ @ 494:468b7cd6c344 default tip

name size permissions
[up] drwxr-xr-x
file Makefile 580 -rw-r--r--
file conf.py 5193 -rw-r--r--
file index.rst 1114 -rw-r--r--
file installation.rst 9069 -rw-r--r--
file make.bat 787 -rw-r--r--