ajaxorg/cloud9 — pull request #1570 by sergi (2012-05-18 22:54:24+00:00)
Title: The corresponding revision should be deleted along with the original file when the latter is deleted.

The PR also contains other unimportant small changes.

@javruben @zefhemel