marijnh/CodeMirror2 — Issue #248: Include version number on top of codemirror.js
Author: marijnh
Created: 2011-11-18 08:28:25+00:00
State: open

I've resisted this long, but it seems a lot of people don't use git to manage their libraries, and get confused about the version they are using. I'm opening this to remind myself to add such a comment when I do the next release.