Google Git
Sign in
eclipse/pde/eclipse.pde/refs/heads/R3_1_maintenance^!/.
commit
bdd267fc5de157bbd53e174ccd759270b6ce9793
[log]
author
sdimitro
Wed Nov 16 16:33:09 2005 +0000
committer
sdimitro
Wed Nov 16 16:33:09 2005 +0000
tree
70fe9bef66d1328d7647f2ecaf854cad208b8e53
parent
8eb0a927790c6f0357a7852a88d954df5862418e [diff]
increment version to 3.1.2, modify update url

diff --git a/org.eclipse.pde-feature/feature.xml b/org.eclipse.pde-feature/feature.xml
index 220eb9e..e9cdc90 100644
--- a/org.eclipse.pde-feature/feature.xml
+++ b/org.eclipse.pde-feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="org.eclipse.pde"
       label="%featureName"
-      version="3.1.1"
+      version="3.1.2"
       provider-name="%providerName"
       image="eclipse_update_120.jpg">
 
@@ -15,13 +15,13 @@
    </license>
 
    <url>
-      <update label="%updateSiteName" url="http://update.eclipse.org/updates/3.0"/>
-      <discovery label="%updateSiteName" url="http://update.eclipse.org/updates/3.0"/>
+      <update label="%updateSiteName" url="http://update.eclipse.org/updates/3.1"/>
+      <discovery label="%updateSiteName" url="http://update.eclipse.org/updates/3.1"/>
    </url>
 
    <requires>
-      <import plugin="org.eclipse.jdt" version="3.0.0" match="compatible"/>
-      <import plugin="org.eclipse.platform" version="3.0.0" match="compatible"/>
+      <import plugin="org.eclipse.jdt" version="3.1.0" match="compatible"/>
+      <import plugin="org.eclipse.platform" version="3.1.0" match="compatible"/>
    </requires>
 
    <plugin