Mercurial > repos > mmaiensc > arts
directory /TO_GALAXY/tools/ARTS/ @ 2:cc1685dd3190 draft default tip
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
ARTS.pl | 30302 | -rwxr-xr-x |
galaxy_arts.xml | 5648 | -rwxr-xr-x |
galaxy_arts_score.xml | 4256 | -rwxr-xr-x |