Davide P. Cervone 06235f4cb5 Merge remote-tracking branch 'fred/issue410' into develop ... Resolves issue #410		2013-03-20 16:19:01 -04:00
..
element/mml	Merge remote-tracking branch 'fred/issue410' into develop	2013-03-20 16:19:01 -04:00
input	Rename AsciiMath config option "decimal" to "decimalsign".	2013-01-31 16:35:09 +01:00
output	Merge branch 'issue383' into develop	2013-03-20 14:00:11 -04:00