marijnh/CodeMirror2 — pull request #658 by peterkroon (2012-07-24 19:20:11+00:00)
Title: [manual.html] Typo, removed double clear word

Typo, removed double clear word