directory / @ 17:a873cb5949cd default tip

name size permissions
dir. images/ drwxr-xr-x
dir. text/ drwxr-xr-x
file Makefile 497 -rwxr-xr-x
file Raku.mm 6612 -rw-r--r--
file make.sh 52 -rw-r--r--
file midterm.pdf 389236 -rw-r--r--
file midterm.tex 2391 -rw-r--r--
file picins.sty 17807 -rw-r--r--