From: Miro Richard Eklund <miro.eklund@semantum.fi>
Date: Wed, 9 Aug 2017 13:14:13 +0000 (+0300)
Subject: Update locations to use mirror-locations
X-Git-Tag: v1.31.0~263
X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=09428742cceaabef182dbaacb05368513e21a591;hp=09428742cceaabef182dbaacb05368513e21a591

Update locations to use mirror-locations

Mirror-locations are now used rather than eclipse's download site.

Before merge to master, update the locations to use /master/ rather than
/private/eclipse-4.7/.

Amend: Updated private/eclipse-4.7 to master

refs #7358

Change-Id: I62c8eb2f06cf79a5759d21da3a51a0db1dca3c16
---