Hubert Chathi 6e7530d253 Don't die if script has been removed from document		2016-02-22 11:42:04 -05:00
..
config	Set some menuSettings to null so that the defaults work properly, but they still appear in the list so people know about them.	2016-02-07 14:11:52 -05:00
extensions	Update version numbers of changed files	2016-02-07 15:34:12 -05:00
jax	Update version numbers of changed files	2016-02-07 15:34:12 -05:00
localization	Update version numbers to 2.6.0	2015-12-29 09:36:52 -05:00
MathJax.js	Don't die if script has been removed from document	2016-02-22 11:42:04 -05:00