tree 1951dd0cb13dfb49c918aee683be5d39fe47584f
parent 902412216ec917a05fd28cc4ce068990d5d17b8a
author GianMaria Romanato <gm.romanato@gmail.com> 1585586010 +0200
committer GianMaria Romanato <gm.romanato@gmail.com> 1585586010 +0200

561574: Virgo Tools do not work on Eclipse 2019-06 or later

Update tycho to 1.3 and remove permsize option