directory / @ 17:73baedb5cdfb default tip

name size permissions
dir. final_main/ drwxr-xr-x
dir. final_pre/ drwxr-xr-x
dir. slide/ drwxr-xr-x
file thesis.mm 11302 -rw-r--r--