Davide P. Cervone b2a53ac6bc Merge pull request #1262 from dpvc/more-menu ... A few menu display tweaks		2015-09-17 06:13:23 -04:00
..
config	Update configurations and add new ones	2015-09-15 08:46:25 -04:00
extensions	Change dialog close button text to be more specific	2015-09-15 08:27:42 -04:00
jax	merge branch 'develop' into more-menu (fix conflicts with Volker's changes)	2015-09-14 07:27:21 -04:00
localization	i18n: add newly added locales	2015-09-01 16:01:45 +02:00
MathJax.js	merge branch 'develop' into more-menu (fix conflicts with Volker's changes)	2015-09-14 07:27:21 -04:00