diff options
author | Hans Hagen <pragma@wxs.nl> | 2020-06-15 00:23:23 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-06-15 00:23:23 +0200 |
commit | 22f270c24ee17c86bbb99b3f3d3a1644e98e4b79 (patch) | |
tree | ac95a5e362a56796803efc0e136b6670deee1dd3 /tex/generic/context/luatex/luatex-fonts-merged.lua | |
parent | 2686f6014d16c6a1d059ebe579894f804a5b3c4c (diff) | |
download | context-22f270c24ee17c86bbb99b3f3d3a1644e98e4b79.tar.gz |
2020-06-14 22:07: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 0c71a68e8..f2a2b7d9e 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 : 2020-06-12 17:40 +-- merge date : 2020-06-14 22:04 do -- begin closure to overcome local limits and interference |