Mini shell

Name	Size	Permissions	Options
_ext	--	drwxr-xr-x
doctrees	--	drwxr-xr-x
html	--	drwxr-xr-x

Makefile	6.615 KB	-rw-r--r--
conf.py	9.443 KB	-rw-r--r--
config.rst	85.879 KB	-rw-r--r--
copyright.rst	1.145 KB	-rw-r--r--
credits.rst	13.38 KB	-rw-r--r--
developers.rst	0.38 KB	-rw-r--r--
faq.rst	80.438 KB	-rw-r--r--
glossary.rst	11.645 KB	-rw-r--r--
index.rst	0.548 KB	-rw-r--r--
intro.rst	2.619 KB	-rw-r--r--
make.bat	6.315 KB	-rw-r--r--
other.rst	0.526 KB	-rw-r--r--
privileges.rst	2.267 KB	-rw-r--r--
require.rst	1.37 KB	-rw-r--r--
setup.rst	18.118 KB	-rw-r--r--
transformations.rst	6.294 KB	-rw-r--r--
user.rst	0.097 KB	-rw-r--r--
vendors.rst	1.128 KB	-rw-r--r--