tree c25edc8ecb1fb8aeff93d79a9c8d51c5b1ec4cc9
parent dc63966df9ee8ba170625a5e9663af4c682cc27e
author GianMaria Romanato <gm.romanato@gmail.com> 1585587435 +0200
committer GianMaria Romanato <gm.romanato@gmail.com> 1585587435 +0200

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

Change command line used to start the Eclipse test instance