4 Commits (23ca9602c2fdd0cd705ec97c2feee909e7865e67)

Author	SHA1	Message	Date
Jonathan Frederic	1ae63ce185	Load jquery and friends globally	10 years ago
Thomas Kluyver	b361d39723	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. Closes gh-1073	10 years ago
Min RK	23162fd289	Don't redirect from /edit/ to /files/ ... show failure to decode, instead	11 years ago
Min RK	d71a59cc9f	s/jupyter_notebook/notebook	11 years ago