diff options
| -rw-r--r-- | lualibs.dtx | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lualibs.dtx b/lualibs.dtx index dcb0e5a..e9a20a6 100644 --- a/lualibs.dtx +++ b/lualibs.dtx @@ -252,14 +252,14 @@ require("lualibs-dir") require("lualibs-unicode") require("lualibs-url") require("lualibs-set") - -require("lualibs-util-lua") -require("lualibs-util-sto") -require("lualibs-util-mrg") -require("lualibs-util-dim") require("lualibs-util-str") +--[[everything below apparently not required for the fontloader]] require("lualibs-util-tab") +require("lualibs-util-sto") +require("lualibs-util-dim") require("lualibs-util-jsn") +--require("lualibs-util-mrg")-- not required +require("lualibs-util-lua") % \end{macrocode} % % \iffalse |