Davide P. Cervone b86a77bee3 Merge remote-tracking branch 'dpvc/develop' into develop		2015-01-22 10:16:31 -05:00
..
config	Rename variable used for displayIndent so it doesn't conflict with previous usage. Also, handle '0em' and similar values as '0'. Resolves issue #1000.	2015-01-11 09:20:30 -05:00
extensions	Merge remote-tracking branch 'dpvc/develop' into develop	2015-01-21 08:54:00 -05:00
jax	Fix scaling of indentshift in HTML-CSS; since is outside the font-size change, it doesn't need HTMLCSS.scale.	2015-01-22 10:15:12 -05:00
localization	Update version numbers for 2.5.0-beta	2014-12-30 18:27:01 -05:00
MathJax.js	Update cache breaking string.	2015-01-07 08:34:04 -05:00