Davide P. Cervone 7523687f4c Merge pull request #1527 from dpvc/issue1519 ... Fix spelling of 'protocol'. Issue #1519.		2016-06-16 08:28:38 -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 #1513 from dpvc/issue1497	2016-06-14 11:32:51 -04:00
jax	Make left arrow use combining left arrow for accents (consistent with right arrow).	2016-06-14 13:50:38 -04:00
localization	Update version numbers to 2.6.0	2015-12-29 09:36:52 -05:00
MathJax.js	Fix spelling of 'protocol'. Issue #1519.	2016-06-15 15:45:01 -04:00