Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2005-11-17 10:49:37 +0000
committerDani Megert2005-11-17 10:49:37 +0000
commit59d31c437fcdae69361d284ecd187a2600fb887a (patch)
tree69817f7160832c841ac4094872b9bb9ecddf2d0d /org.eclipse.search/scripts
parent84465fea07823e8480fd6be46b7078c74f027270 (diff)
downloadeclipse.platform.text-59d31c437fcdae69361d284ecd187a2600fb887a.tar.gz
eclipse.platform.text-59d31c437fcdae69361d284ecd187a2600fb887a.tar.xz
eclipse.platform.text-59d31c437fcdae69361d284ecd187a2600fb887a.zip
Updated version number
Diffstat (limited to 'org.eclipse.search/scripts')
-rw-r--r--org.eclipse.search/scripts/exportplugin.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.search/scripts/exportplugin.xml b/org.eclipse.search/scripts/exportplugin.xml
index bfce75d09a7..bed71156d6c 100644
--- a/org.eclipse.search/scripts/exportplugin.xml
+++ b/org.eclipse.search/scripts/exportplugin.xml
@@ -3,7 +3,7 @@
<tstamp/>
<property name="destdir" value="../../plugin-export" />
<property name="plugin" value="org.eclipse.search" />
- <property name="plugin_version" value="_3.1.0" />
+ <property name="plugin_version" value="_3.1.100" />
<property name="dest" value="${destdir}/${plugin}${plugin_version}" />
<property name="destjar" value="${destdir}/${plugin}${plugin_version}.jar" />
</target>

Back to the top