webjars/codemirror — pull request #7 by jochenberger (2013-10-22 06:34:02+00:00)
Title: update CodeMirror to 3.19

released on 2013-10-21