]> git.lyx.org Git - features.git/commit
Correct some charid values in lib/symbols. Fixes #9823.
authorGünter Milde <milde@lyx.org>
Fri, 13 Nov 2015 13:01:32 +0000 (14:01 +0100)
committerGünter Milde <milde@lyx.org>
Fri, 13 Nov 2015 13:01:32 +0000 (14:01 +0100)
commit137575010c05361ad93fd7af3590798015f01b02
treeaf115eca01cb79bd4e6bef0256e155aef033d91d
parent8021c0b0dcf588527eeb183ca52e4900ffbf7527
Correct some charid values in lib/symbols. Fixes #9823.
lib/symbols