@ Deprecated public static DownloadProperties forGalaxyDist ( final File destination , String revision ) { return new DownloadProperties ( GALAXY_DIST_REPOSITORY_URL , BRANCH_STABLE , revision , destination ) ; }
Builds a new DownloadProperties for downloading Galaxy from galaxy - dist .