directory / @ 7:5f2c80f8b9cc default tip

name size permissions
dir. graf/ drwxr-xr-x
dir. pic/ drwxr-xr-x
file Makefile 477 -rw-r--r--
file finalutf8.pdf 323427 -rw-r--r--
file finalutf8.tex 10070 -rw-r--r--