removed ColorManager, not used anywhere

[phpeclipse.git] / archive / net.sourceforge.phpeclipse.monitor.ui / plugin.xml

diff --git a/archive/net.sourceforge.phpeclipse.monitor.ui/plugin.xml b/archive/net.sourceforge.phpeclipse.monitor.ui/plugin.xml
index 6887edf..8962e3a 100644 (file)
--- a/archive/net.sourceforge.phpeclipse.monitor.ui/plugin.xml
+++ b/archive/net.sourceforge.phpeclipse.monitor.ui/plugin.xml
@@ -3,7 +3,7 @@
 
 <plugin id="net.sourceforge.phpeclipse.monitor.ui"
   name="%pluginName"
-  version="1.1.5"
+  version="1.1.6"
   provider-name="%providerName"
   class="net.sourceforge.phpdt.monitor.ui.internal.MonitorUIPlugin">