marijnh/CodeMirror — pull request #1804 by peterkroon (2013-09-05 11:24:40+00:00)
Title: Update less.js

Fix issue: #1801