| commit | 91250ceef007302302d70434bbb041b45b73d779 | [log] [tgz] |
|---|---|---|
| author | Dani Megert <dmegert> | Tue Jan 06 18:04:41 2004 +0000 |
| committer | Dani Megert <dmegert> | Tue Jan 06 18:04:41 2004 +0000 |
| tree | c59d01d75432115c95e367b6cc6a318f6b209dea | |
| parent | c1d5cc833235b3c315f520aa3737e446b60efeb9 [diff] |
Increased version of JDT UI plug-in to 2.1.3
diff --git a/org.eclipse.jdt.ui/plugin.xml b/org.eclipse.jdt.ui/plugin.xml index 7ef3e64..079213b 100644 --- a/org.eclipse.jdt.ui/plugin.xml +++ b/org.eclipse.jdt.ui/plugin.xml
@@ -3,7 +3,7 @@ <plugin name="%pluginName" id = "org.eclipse.jdt.ui" - version = "2.1.2" + version = "2.1.3" provider-name = "%providerName" class="org.eclipse.jdt.internal.ui.JavaPlugin">