directory /tools/ @ 12:e13206029a72 draft default tip

name size permissions
[up] drwxr-xr-x
dir. venn_list/ drwxr-xr-x