directory /tools/ @ 6:3021deef1599

name size permissions
[up] drwxr-xr-x
file add_num_prefix 713 -rwxr-xr-x
file anti_bins 2730 -rwxr-xr-x
file bins_addtext 2099 -rwxr-xr-x
file bins_cleanupgallery 3195 -rwxr-xr-x
file bins_txt2xml 2154 -rwxr-xr-x
file remove_num_prefix 577 -rwxr-xr-x