directory / @ 5:32ec7f73f166

name size permissions
dir. fig/ drwxr-xr-x
file Gears.mm 9258 -rw-r--r--
file gears.ind 11356 -rw-r--r--
file lola2015.tex 2756 -rw-r--r--