Davide P. Cervone c45629f7a0 Merge pull request #1556 from dpvc/issue1434 ... Improve menu placement. #1434		2016-08-05 10:25:00 -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	Merge pull request #1556 from dpvc/issue1434	2016-08-05 10:25:00 -04:00
jax	Merge pull request #1550 from dpvc/issue1543	2016-08-05 10:23:43 -04:00
localization	Update version numbers to 2.6.0	2015-12-29 09:36:52 -05:00
MathJax.js	Fix typo in fileRev(). Since we don't use the file-specific versions anyway, it never had any effect.	2016-08-04 10:52:16 -04:00