directory / @ 193:dc495f0b5ee8 default tip

name size permissions
dir. docs/ drwxr-xr-x
dir. example/ drwxr-xr-x
dir. numerics/ drwxr-xr-x
dir. tests/ drwxr-xr-x
file README.txt 2029 -rw-r--r--
file setup.py 2024 -rw-r--r--
file tox.ini 103 -rw-r--r--