diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-07-17 18:25:12 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-07-17 18:25:12 +0200 |
commit | 57dbee16f3a8e09e688f792c6e36a53de798e6cb (patch) | |
tree | b33d22d8d6abc98577d8d242e2c5bbacdd4bb234 /tex/generic/context | |
parent | a8f63ee70a866cce43ee4b1bb5ba95ef8044243f (diff) | |
download | context-57dbee16f3a8e09e688f792c6e36a53de798e6cb.tar.gz |
2018-07-17 17:32:00
Diffstat (limited to 'tex/generic/context')
-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 6871f37b3..536e4f7ee 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 : 07/13/18 09:48:00 +-- merge date : 07/17/18 17:25:02 do -- begin closure to overcome local limits and interference |