Davide P. Cervone 4db3f74d38 Merge pull request #1565 from dpvc/issue1563 ... Fix problems with defining \ (control-space). #1563 and #1564		2016-07-23 16:07:05 -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 #1565 from dpvc/issue1563	2016-07-23 16:07:05 -04:00
jax	Merge pull request #1552 from dpvc/issue1022	2016-07-23 15:59:56 -04:00
localization	Update version numbers to 2.6.0	2015-12-29 09:36:52 -05:00
MathJax.js	Merge pull request #1525 from dpvc/issue1403	2016-07-08 08:37:24 -04:00