directory /python/src/glide/ @ 772:7492d384d122 default tip

name size permissions
[up] drwxr-xr-x
file gr.rs 7599 -rw-r--r--
file mod.rs 9912 -rw-r--r--