diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-02-25 20:49:38 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-02-25 20:49:38 +0100 |
commit | 2d50de713c23ec150dab395dcbce69b854db2d58 (patch) | |
tree | 7f071526a9f838d07b66837ef15864c17628b03a /tex/generic/context/luatex/luatex-fonts-merged.lua | |
parent | 661fb34ced40815e1e5e9073de9c8475127da094 (diff) | |
download | context-2d50de713c23ec150dab395dcbce69b854db2d58.tar.gz |
2018-02-25 19:57: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 f274c4319..b741295b6 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 : 02/23/18 22:11:13 +-- merge date : 02/25/18 19:48:01 do -- begin closure to overcome local limits and interference |