directory /TO_GALAXY/tools/ARTS/ @ 1:2086dd919b31 draft

name size permissions
[up] drwxr-xr-x
file ._ARTS.pl 167 -rwxr-xr-x
file ARTS.pl 30302 -rwxr-xr-x
file galaxy_arts.xml 5648 -rwxr-xr-x
file galaxy_arts_score.xml 4256 -rwxr-xr-x