diff options
| author | Darin Wright | 2004-07-28 15:42:24 +0000 |
|---|---|---|
| committer | Darin Wright | 2004-07-28 15:42:24 +0000 |
| commit | 6e45db4cab1383b73b79d7faceb41b12a917ab72 (patch) | |
| tree | 06bd0d5bdd57b37458fa50453a18f990e093b1d6 /org.eclipse.ui.console/plugin.xml | |
| parent | baff65b4117a33b9debd61bd625762d4ce92e13b (diff) | |
| download | eclipse.platform.debug-6e45db4cab1383b73b79d7faceb41b12a917ab72.tar.gz eclipse.platform.debug-6e45db4cab1383b73b79d7faceb41b12a917ab72.tar.xz eclipse.platform.debug-6e45db4cab1383b73b79d7faceb41b12a917ab72.zip | |
plug-in version update to 3.1.0
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.console/plugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml index 9fdfc65b0..a666d1780 100644 --- a/org.eclipse.ui.console/plugin.xml +++ b/org.eclipse.ui.console/plugin.xml @@ -3,7 +3,7 @@ <plugin id="org.eclipse.ui.console" name="%pluginName" - version="3.0.0" + version="3.1.0" provider-name="%providerName" class="org.eclipse.ui.console.ConsolePlugin"> |