marijnh/CodeMirror2 — pull request #460 by bfrohs (2012-03-21 15:32:31+00:00)
Title: Remove unused variable.

Remove unused variable.