directory /docs/ @ 11:2e459b88fe65 default tip

name size permissions
[up] drwxr-xr-x
file Makefile 6766 -rw-r--r--
file conf.py 8425 -rw-r--r--
file display.rst 1065 -rw-r--r--
file displays.rst 862 -rw-r--r--
file index.rst 511 -rw-r--r--
file make.bat 6703 -rw-r--r--