refs/heads/R3_0_maintenance - platform/eclipse.platform.ui - Git at Google

commit: b911a179a5562193783b132f4f01ef3bdd303dff
[log] [tgz]
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 [diff]

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

bundles/org.eclipse.ui.workbench/plugin.xml[diff]

1 file changed

tree: b0fa30293a9cd8a0b90840f1353f92afdaecc41d