Google Git
Sign in
eclipse / virgo / org.eclipse.virgo.ide / d001ee0530c14b25e5e70c3976f000380df0c84c / . / org.eclipse.virgo.ide.runtime.ui / plugin.properties
blob: 9073f73157a3084af74181c308f9e280c820a6bf [file] [log] [blame]
pluginName=Eclipse Virgo IDE (Server UI)
providerName=Eclipse.org - Virgo