diff options
author | Norbert Preining <norbert@preining.info> | 2020-02-04 03:01:28 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-02-04 03:01:28 +0000 |
commit | fc358ce7332053945afe16ced2a271556cdccfb7 (patch) | |
tree | d723e8bbffaaffd6c8c6d51d46c54db70c61f67a /macros/luatex/generic/lualibs/lualibs-os.lua | |
parent | 34897eebd22c3de968b64f09bb4a371d96cb0b89 (diff) |
CTAN sync 202002040301
Diffstat (limited to 'macros/luatex/generic/lualibs/lualibs-os.lua')
-rw-r--r-- | macros/luatex/generic/lualibs/lualibs-os.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/luatex/generic/lualibs/lualibs-os.lua b/macros/luatex/generic/lualibs/lualibs-os.lua index aa04e254df..8394d19e7c 100644 --- a/macros/luatex/generic/lualibs/lualibs-os.lua +++ b/macros/luatex/generic/lualibs/lualibs-os.lua @@ -30,7 +30,7 @@ local date, time = os.date, os.time local find, format, gsub, upper, gmatch = string.find, string.format, string.gsub, string.upper, string.gmatch local concat = table.concat local random, ceil, randomseed = math.random, math.ceil, math.randomseed -local rawget, rawset, type, getmetatable, setmetatable, tonumber, tostring = rawget, rawset, type, getmetatable, setmetatable, tonumber, tostring +local type, setmetatable, tonumber, tostring = type, setmetatable, tonumber, tostring -- This check needs to happen real early on. Todo: we can pick it up from the commandline -- if we pass --binpath= (which is useful anyway) |