platform/org.eclipse.platform-feature/feature.xml
changeset 28 550d1ce4a53b
parent 13 beea6aba40fd
child 30 7bb4feeae900
equal deleted inserted replaced
27:57a05dd59a20 28:550d1ce4a53b
    97 
    97 
    98    <plugin
    98    <plugin
    99          id="org.eclipse.core.resources"
    99          id="org.eclipse.core.resources"
   100          download-size="0"
   100          download-size="0"
   101          install-size="0"
   101          install-size="0"
   102          version="3.4.1.R34x_v20080902"
   102          version="3.4.10"
   103          unpack="false"/>
   103          unpack="false"/>
   104 
   104 
   105    <plugin
   105    <plugin
   106          id="org.eclipse.core.resources.compatibility"
   106          id="org.eclipse.core.resources.compatibility"
   107          download-size="0"
   107          download-size="0"