directory / @ 23:4f000f6f9fa4 default tip

name size permissions
dir. images/ drwxr-xr-x
dir. paper/ drwxr-xr-x
dir. slide/ drwxr-xr-x
file GearsOS_Paging_Segmentation.mm 19951 -rw-r--r--
file GearsOS_Paging_Segmentation.pdf 1060271 -rw-r--r--