ajaxorg/cloud9 — pull request #2564 by giannis (2012-12-07 12:48:14+00:00)
Title: * fix issues in run panel 

* fixes ajaxorg/cloud9infra#3342

@ajaxorg/dijkstra