| commit | ec9729967c9285a6469b812f9594022f36816e88 | [log] [tgz] |
|---|---|---|
| author | GianMaria Romanato <gm.romanato@gmail.com> | Sun Feb 07 22:12:53 2016 +0100 |
| committer | GianMaria Romanato <gm.romanato@gmail.com> | Sun Feb 07 22:14:22 2016 +0100 |
| tree | b408af924a43c2bf423d1e18065ca6c6ace8c5b9 | |
| parent | d86d000e9d92829f5abb30c656447cb31c8842c0 [diff] |
Add support for Virgo 3.7 - Consume the latest org.eclipse.virgo.kernel-tools as a binary nested JAR inside org.eclipse.virgo.ide.manifest.core lib folder. - Change Virgo37Provider to detect runtime version via $VIRGO_HOME/lib/.version file and to assume that the java profile file is now named java-server.profile