jsbin/jsbin — pull request #2024 by allouis (2014-10-14 12:02:29+00:00)
Title: Update codemirror

This replaces out version with the version at https://github.com/codemirror/CodeMirror/commit/5ae735c77056b563dd8c186e227cbe76054f3059