diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-04-16 16:06:47 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-04-16 16:06:47 +0200 |
| commit | a104570ad82618ffffc82ffea3f12c5bb0a35232 (patch) | |
| tree | f58dd337722644cc179ed4865aa0c1d6ca8b1b7b /tex/context/base/mkiv/trac-inf.lua | |
| parent | daff89c886893f6bf7d092e45b7f78d5395f6274 (diff) | |
| download | context-a104570ad82618ffffc82ffea3f12c5bb0a35232.tar.gz | |
2016-04-16 15:32:00
Diffstat (limited to 'tex/context/base/mkiv/trac-inf.lua')
| -rw-r--r-- | tex/context/base/mkiv/trac-inf.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/context/base/mkiv/trac-inf.lua b/tex/context/base/mkiv/trac-inf.lua index f4c4e5557..401fd01e7 100644 --- a/tex/context/base/mkiv/trac-inf.lua +++ b/tex/context/base/mkiv/trac-inf.lua @@ -14,7 +14,7 @@ if not modules then modules = { } end modules ['trac-inf'] = { local type, tonumber, select = type, tonumber, select local format, lower, find = string.format, string.lower, string.find local concat = table.concat -local clock = os.gettimeofday or os.clock -- should go in environment +local clock = os.gettimeofday or os.clock -- should go in environment local setmetatableindex = table.setmetatableindex local serialize = table.serialize |