Merge branch 'bug/JAL-4421_customise_volume_name_of_DMG_installers' into develop
[jalview.git] / utils / getdown / bin /
drwxr-xr-x   ..
-rwxr-xr-x 1705 jalview.bat
-rwxr-xr-x 3373 jalview.ps1
-rwxr-xr-x 5483 jalview.sh