Increased plug-in version to 2.1.3
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml
index 73ec3c8..9b97708 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 0dd3b3f..9901c4f 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>