diff options
| -rw-r--r-- | otfl-luat-ovr.lua | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/otfl-luat-ovr.lua b/otfl-luat-ovr.lua index 7bac97d..63a9e19 100644 --- a/otfl-luat-ovr.lua +++ b/otfl-luat-ovr.lua @@ -34,13 +34,3 @@ function logs.info(category,fmt,...) end io.flush() end - -function logs.simple(fmt,...) - if fmt then - write_nl('log', format("%s | %s",name,format(fmt,...))) - else - write_nl('log', format("%s |",name)) - end -end - -tex.ctxcatcodes = luatexbase.catcodetables.latex |