jbosstools/jbosstools-openshift — pull request #75 by adietish (2013-04-04 16:05:35+00:00)
Title: [JBIDE-13806] showing push results in console again

Put the code in place again, that was removed by mistake when implementing
JBIDE-13175