Merge branch 'develop' into improvement/JAL-4111_suffixed_DEVELOP_channels improvement/JAL-4111_suffixed_DEVELOP_channels
[jalview.git] / utils / getdown / bin /
drwxr-xr-x   ..
-rwxr-xr-x 1705 jalview.bat
-rwxr-xr-x 3270 jalview.ps1
-rwxr-xr-x 4263 jalview.sh