Davide P. Cervone d4df0a8c92 Add copyright notice. Re-indent. Update version number. Resolves issue #1391		2016-06-07 16:11:44 -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	Add copyright notice. Re-indent. Update version number. Resolves issue #1391	2016-06-07 16:11:44 -04:00
jax	Merge pull request #1485 from dpvc/issue1449	2016-06-06 16:04:24 -04:00
localization	Update version numbers to 2.6.0	2015-12-29 09:36:52 -05:00
MathJax.js	Merge pull request #1463 from dpvc/issue1428	2016-05-11 17:22:01 -04:00