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.

Ben Zinberg cb385481f6 Fix place where we were passing an `Array[string]` to `CodeMirror.findModeByExtension` instead of passing a string. (I guess older versions of CodeMirror allowed this?)		6 years ago
..
images	Use animated favicon for kernel busy indicator	9 years ago
js	Fix place where we were passing an `Array[string]` to `CodeMirror.findModeByExtension` instead of passing a string. (I guess older versions of CodeMirror allowed this?)	6 years ago
less	Fix typos (#4760)	7 years ago