| commit | 5ce58461333f80b224ec12ac958ef8af3c66742d | [log] [tgz] |
|---|---|---|
| author | GianMaria Romanato <gm.romanato@gmail.com> | Tue Jun 14 17:46:02 2016 +0200 |
| committer | GianMaria Romanato <gm.romanato@gmail.com> | Tue Jun 14 17:46:02 2016 +0200 |
| tree | 8a4a6bab790855daea91f27ff3bdf4cf7fb20a25 | |
| parent | 8ca894994be5beadc6d6e9fff62e960db7adc4c8 [diff] |
Change Eclipse P2 repository to build Virgo Tools against Mars.