share/ShareJS — pull request #246 by aslakhellesoy (2013-09-03 09:09:29+00:00)
Title: Initial CodeMirror support.

Deleting is currently buggy, but this should be a good start.