diff options
| author | Hans Hagen <pragma@wxs.nl> | 2019-10-02 13:21:40 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-10-02 13:21:40 +0200 |
| commit | 6ab4432f6fe56cc63e53aeb256c89f01a04fb84f (patch) | |
| tree | 5b45957afb0df55f2d5f06d43e6ac1c17d9f94cc /tex/generic/context/luatex/luatex-fonts-merged.lua | |
| parent | 7b12427f475e64e06f5dd7b537462b6d990526f6 (diff) | |
| download | context-6ab4432f6fe56cc63e53aeb256c89f01a04fb84f.tar.gz | |
2019-10-02 12:50:00
Diffstat (limited to 'tex/generic/context/luatex/luatex-fonts-merged.lua')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index f23352419..9e38b5e5c 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/01/19 10:36:53 +-- merge date : 10/02/19 12:43:06 do -- begin closure to overcome local limits and interference |