diff options
| author | Hans Hagen <pragma@wxs.nl> | 2017-03-02 10:57:49 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-03-02 10:57:49 +0100 |
| commit | 6c9a5085dc2cee2c277d69d2dfcb397dab7aeb19 (patch) | |
| tree | 8b2f4caaae13e3e138fe474ce7888b9e30e374c0 /tex/generic/context/luatex/luatex-fonts-merged.lua | |
| parent | 0da55392b876cef55845157c4bfb8244d84c6450 (diff) | |
| download | context-6c9a5085dc2cee2c277d69d2dfcb397dab7aeb19.tar.gz | |
2017-03-02 10:11:00
Diffstat (limited to 'tex/generic/context/luatex/luatex-fonts-merged.lua')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 2690045cf..90077e8f7 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 : 03/01/17 13:40:58 +-- merge date : 03/02/17 10:05:26 do -- begin closure to overcome local limits and interference @@ -2124,7 +2124,7 @@ function io.savedata(filename,data,joiner) return false end end -if fio.readline then +if fio and fio.readline then local readline=fio.readline function io.loadlines(filename,n) local f=open(filename,'r') |