Branch: refs/heads/master Home: https://github.com/jbosstools/jbosstools-forge Commit: 051db172140ea27b5eaeba5045d691e143d615c7 https://github.com/jbosstools/jbosstools-forge/commit/051db172140ea27b5ea... Author: Koen Aers <koen.aers(a)gmail.com&gt; Date: 2014-05-24 (Sat, 24 May 2014) Changed paths: M plugins/org.jboss.tools.forge.ui/plugin.xml R plugins/org.jboss.tools.forge.ui/schema/consoles.exsd Log Message: ----------- remove unneeded consoles extension point