directory / @ 0:664f03da38c3 default tip

name size permissions
dir. fig/ drwxr-xr-x
dir. ui/ drwxr-xr-x
file Health Information.mm 252 -rw-r--r--
file cr.html 6287 -rw-r--r--
file cr.ind 4015 -rw-r--r--
file ebook.ind 59 -rw-r--r--
file experiment.ind 3841 -rw-r--r--
file hostpital.ind 104 -rw-r--r--
file presen-06-28.ind 1860 -rw-r--r--