directory /doc/ @ 3036:3338c6a634f5 tip

name size permissions
[up] drwxr-xr-x
dir. jp/ drwxr-xr-x
dir. primitivus/ drwxr-xr-x
file Makefile 580 -rw-r--r--
file conf.py 5496 -rw-r--r--
file configuration.rst 5212 -rw-r--r--
file index.rst 1012 -rw-r--r--
file installation.rst 5769 -rw-r--r--
file make.bat 787 -rw-r--r--
file overview.rst 13741 -rw-r--r--