commit | 7371ed7003ece8e8e59215149429f8f4741661f7 | [log] [tgz] |
---|---|---|
author | GianMaria Romanato <gm.romanato@gmail.com> | Wed Jun 15 13:32:03 2016 +0200 |
committer | GianMaria Romanato <gm.romanato@gmail.com> | Wed Jun 15 13:32:03 2016 +0200 |
tree | 12c18c89a278f4b0aa909be67cd48971c0859956 | |
parent | 5ce58461333f80b224ec12ac958ef8af3c66742d [diff] |
Revert "Change Eclipse P2 repository to build Virgo Tools against Mars." This reverts commit 5ce58461333f80b224ec12ac958ef8af3c66742d.