@ Deprecated public static DownloadProperties forGalaxyCentral ( final File destination , String revision ) { return new DownloadProperties ( GALAXY_CENTRAL_REPOSITORY_URL , BRANCH_DEFAULT , revision , destination ) ; }
Builds a new DownloadProperties for downloading Galaxy from galaxy - central .