webjars/codemirror — pull request #4 by jochenberger (2013-07-31 06:07:20+00:00)
Title: update to CodeMirror 3.15

Please update to CodeMirror 3.15, released on 2013-07-29.