directory /tools/ @ 8:ee50d9ef9d69 draft

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