Merge branch 'issue402' into develop

Resolves issue #402.
This commit is contained in:
Davide P. Cervone 2013-04-19 09:11:42 -04:00
commit 9e5fbb7e6f

View File

@ -421,7 +421,8 @@
remap: {
'-': '2212',
'*': '2217'
'*': '2217',
'`': '2018', // map ` to back quote
},
mathchar0mi: {