diff options
author | Dani Megert | 2005-11-17 10:49:37 +0000 |
---|---|---|
committer | Dani Megert | 2005-11-17 10:49:37 +0000 |
commit | 59d31c437fcdae69361d284ecd187a2600fb887a (patch) | |
tree | 69817f7160832c841ac4094872b9bb9ecddf2d0d /org.eclipse.search/scripts | |
parent | 84465fea07823e8480fd6be46b7078c74f027270 (diff) | |
download | eclipse.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.xml | 2 |
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> |