directory /rvinterf/old/ @ 1014:961efadd530a default tip

name size permissions
[up] drwxr-xr-x
dir. before-rvinterf/ drwxr-xr-x
dir. g23sh/ drwxr-xr-x
dir. libg23/ drwxr-xr-x
dir. sendsp/ drwxr-xr-x
file format_g23.c 4371 -rw-r--r--