You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Min RK a247c6689d Backport PR #1076: Lowercase file extension before looking it up in CodeMirror ... It looks like CodeMirror stores no capitalised extensions: https://github.com/codemirror/CodeMirror/blob/master/mode/meta.js If there ever are any, this would break looking them up. But that seems fairly unlikely. ...		10 years ago
..
js	Backport PR #1076: Lowercase file extension before looking it up in CodeMirror	10 years ago
less	s/jupyter_notebook/notebook	11 years ago