codio/CodeMirror — pull request #2 by AndreyNikitin (2013-10-10 13:30:58+00:00)
Title: Prevent collaborative undo

fixes #178 on client