directory /ipcluster/tools/ @ 0:e34cf1b6fe09 tip

name size permissions
[up] drwxr-xr-x
file copy_features.py 3880 -rw-r--r--
file copy_features_folderwise.py 3840 -rw-r--r--
file turtle2rdf.py 411 -rw-r--r--
file zip_features_folderwise.py 3601 -rw-r--r--