diff options
author | Hans Hagen <pragma@wxs.nl> | 2022-10-21 21:37:10 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-10-21 21:37:10 +0200 |
commit | 5d31142615a7efaf833be860e412995b42bf9c3c (patch) | |
tree | f2c6470f09089ef3005659783b834989ee7e1989 /source/luametatex/source/lua/lmtinterface.h | |
parent | c0c1dea1daf21f2c21f6d8094f54f67138998baf (diff) | |
download | context-5d31142615a7efaf833be860e412995b42bf9c3c.tar.gz |
2022-10-21 21:13:00
Diffstat (limited to 'source/luametatex/source/lua/lmtinterface.h')
-rw-r--r-- | source/luametatex/source/lua/lmtinterface.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/source/luametatex/source/lua/lmtinterface.h b/source/luametatex/source/lua/lmtinterface.h index 3fd87db2f..e761252a8 100644 --- a/source/luametatex/source/lua/lmtinterface.h +++ b/source/luametatex/source/lua/lmtinterface.h @@ -865,9 +865,7 @@ make_lua_key(L, match);\ make_lua_key(L, math);\ make_lua_key(L, mathspec);\ make_lua_key(L, math_accent);\ -make_lua_key(L, math_char_given);\ make_lua_key(L, math_char_number);\ -make_lua_key(L, math_char_xgiven);\ make_lua_key(L, math_choice);\ make_lua_key(L, math_component);\ make_lua_key(L, math_fence);\ |