wok-current /gdb/ tip

name size permissions
[up] drwxr-xr-x
file description.txt 810 -rw-r--r--
file receipt 916 -rw-r--r--