version="0.0.0"
unpack="false"/>
+ <plugin
+ id="org.eclipse.ui.intro.quicklinks"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ unpack="false"/>
+
<plugin
id="org.eclipse.ui.intro.universal"
download-size="0"
version="0.0.0"
unpack="false"/>
- <plugin
- id="org.simantics.editors.win32"
- os="win32"
- download-size="0"
- install-size="0"
- version="0.0.0"
- unpack="false"/>
-
<plugin
id="org.eclipse.ui.editors"
download-size="0"
version="0.0.0"
unpack="false"/>
- <plugin
+ <plugin
id="org.eclipse.jetty.http"
download-size="0"
install-size="0"