webjars/codemirror — pull request #5 by jochenberger (2013-08-22 06:30:40+00:00)
Title: update to 3.16

released on 2013-08-21