diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-28 13:21:30 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-28 13:21:30 +0200 |
commit | e2adc36e81847b28fe1939bccfb2d07ccc39129a (patch) | |
tree | 1b70f7ee62e5eb9829f7e0c9c072bca9187e012e /mkstatus | |
parent | e73f5ee96e693a49a1aefc74bf6f57408efbc453 (diff) | |
download | luaotfload-e2adc36e81847b28fe1939bccfb2d07ccc39129a.tar.gz |
[tool] remove diagnostics code from runner
Diffstat (limited to 'mkstatus')
-rwxr-xr-x | mkstatus | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -39,6 +39,7 @@ local names = { "luaotfload-characters.lua", "luaotfload-colors.lua", "luaotfload-database.lua", + "luaotfload-diagnostics.lua", "luaotfload-extralibs.lua", "luaotfload-features.lua", "luaotfload-fonts-cbk.lua", |