Merge "Update developer tools to point to Mars repository"
commitf64e06014fda32b00e98b943b34abcaa33dd0b62
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 25 Aug 2015 13:08:50 +0000 (25 09:08 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Tue, 25 Aug 2015 13:08:51 +0000 (25 09:08 -0400)
tree6ad37dbc5197b896498d2ac5e17abf18d1addd74
parent861c0d69db8046e7b6167382d09613f421d3e2ec
parent185ccb8be126d162d83868c3880ea553daad11e7
Merge "Update developer tools to point to Mars repository"