directory /Examples/toy/ @ 4:f864bb4ba9a4 default tip

name size permissions
[up] drwxr-xr-x
file gi.tokio 1373 -rw-r--r--
file gi_ex.pl 405 -rw-r--r--
file toy.tokio 2501 -rw-r--r--