diff options
author | Dani Megert | 2004-02-24 16:37:24 +0000 |
---|---|---|
committer | Dani Megert | 2004-02-24 16:37:24 +0000 |
commit | 38572fbab6d4a831c3affe02254310d1d932ca96 (patch) | |
tree | 2bd4d4ab503043bcc49c2332205fbd10d9794000 | |
parent | c4c074b6bc24174173bcc03d63c861ad63858215 (diff) | |
download | eclipse.platform.text-38572fbab6d4a831c3affe02254310d1d932ca96.tar.gz eclipse.platform.text-38572fbab6d4a831c3affe02254310d1d932ca96.tar.xz eclipse.platform.text-38572fbab6d4a831c3affe02254310d1d932ca96.zip |
Increased plug-in version to 2.1.3
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.xml | 2 | ||||
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/scripts/exportplugin.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml index 73ec3c87552..9b977083b07 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.xml +++ b/org.eclipse.ui.workbench.texteditor/plugin.xml @@ -2,7 +2,7 @@ <plugin id="org.eclipse.ui.workbench.texteditor" name="%pluginName" - version="2.1.0" + version="2.1.3" provider-name="%providerName" class="org.eclipse.ui.internal.texteditor.TextEditorPlugin"> diff --git a/org.eclipse.ui.workbench.texteditor/scripts/exportplugin.xml b/org.eclipse.ui.workbench.texteditor/scripts/exportplugin.xml index 0dd3b3f10d7..9901c4f1a8e 100644 --- a/org.eclipse.ui.workbench.texteditor/scripts/exportplugin.xml +++ b/org.eclipse.ui.workbench.texteditor/scripts/exportplugin.xml @@ -3,7 +3,7 @@ <tstamp/> <property name="destdir" value="../../plugin-export" /> <property name="plugin" value="org.eclipse.ui.workbench.texteditor" /> - <property name="version" value="_2.1.0" /> + <property name="version" value="_2.1.3" /> <property name="dest" value="${destdir}/${plugin}${version}" /> </target> |