search

latex4ei / tex4tum

Interactive Learning Platform
https://www.tex4tum.de
6 stars 7 forks source link

Add new option explanation to options.js #38

Closed hofbi closed 6 years ago

hofbi commented 6 years ago

https://github.com/latex4ei/tex4tum/blob/20c863af17826271d86418912bb96cc2d125d62a/assets/js/options.js#L4

Else default settings won't work