commit b911a179a5562193783b132f4f01ef3bdd303dff
author Boris Bokowski <bbokowski> Wed Sep 20 12:54:21 2006 +0000
committer Boris Bokowski <bbokowski> Wed Sep 20 12:54:21 2006 +0000
tree b0fa30293a9cd8a0b90840f1353f92afdaecc41d
parent 673e9dac2095c003a6323309ac07f683de3322f9

Updated version number - Fix for Bug 155866 Problems when closing unsaved editor and deleted project

bundles/org.eclipse.ui.workbench/plugin.xml

diff --git a/bundles/org.eclipse.ui.workbench/plugin.xml b/bundles/org.eclipse.ui.workbench/plugin.xml
index 14f49a2..be35ddb 100644
--- a/bundles/org.eclipse.ui.workbench/plugin.xml
+++ b/bundles/org.eclipse.ui.workbench/plugin.xml
@@ -3,7 +3,7 @@
 <plugin
    id="org.eclipse.ui.workbench"
    name="%pluginName"
-   version="3.0.2.4"
+   version="3.0.2.5"
    provider-name="%providerName"
    class="org.eclipse.ui.internal.WorkbenchPlugin">