ajaxorg/cloud9 — pull request #890 by giannis (2012-02-01 16:07:59+00:00)
Title: * update for deploy scrollbar

this fixes an issue with the scrollbar in the deploy section

@sergi or @zefhemel