diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-10-29 16:18:49 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-10-29 16:18:49 +0100 |
commit | 5c195236a1a69b23762df71a791e6b4e2c671892 (patch) | |
tree | d2275861813078d707913b4f7969708913df815b /tex/generic/context/luatex | |
parent | f58a2cb5d22c5931581274db1f0ec85ac903b747 (diff) | |
download | context-5c195236a1a69b23762df71a791e6b4e2c671892.tar.gz |
2019-10-29 15:08:00
Diffstat (limited to 'tex/generic/context/luatex')
-rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index e856248cb..b8a21fc93 100644 --- a/tex/generic/context/luatex/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : c:/data/develop/context/sources/luatex-fonts-merged.lua -- parent file : c:/data/develop/context/sources/luatex-fonts.lua --- merge date : 10/28/19 18:12:38 +-- merge date : 10/29/19 15:00:00 do -- begin closure to overcome local limits and interference @@ -20,6 +20,9 @@ if LUAVERSION<5.2 and jit then MINORVERSION=2 LUAVERSION=5.2 end +if lua and lua.openfile then + io.open=lua.openfile +end if not lpeg then lpeg=require("lpeg") end |