You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Michael Fix 44f658bb69
Upgrade highlight.js (#996)
* upgrade highlight.js

* add latex highlighter
5 years ago
..
custom/modes rename nimrod to nim (#997) 5 years ago
api.js run prettier with new config (#983) 5 years ago
client.js run prettier with new config (#983) 5 years ago
constants.js Upgrade highlight.js (#996) 5 years ago
highlight-languages.js Bundle size (#844) 5 years ago
routing.js run prettier with new config (#983) 5 years ago
util.js Snippets name input (#992) 5 years ago