Davide P. Cervone 35ca30ef4c Make sure 0 remains 0 when rounding to pixels (plus a bit). Resolves issue #1452.		2016-05-03 21:15:55 -04: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	Make sure 0 remains 0 when rounding to pixels (plus a bit). Resolves issue #1452.	2016-05-03 21:15:55 -04: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