codemirror/CodeMirror — pull request #2950 by darealshinji (2014-11-27 18:18:45+00:00)
Title: remove executable bit from html-hint.js

There's no reason to keep it executable, right?