ajaxorg/cloud9 — pull request #475 by monchi59 (2011-11-21 20:19:04+00:00)
Title: Just add reverttosaved command

I just added the reverttosaved command with a corresponding hotkey (very useful when coding in small groups on a VPS, to directly see what another guy did)