diff options
author | Hans Hagen <pragma@wxs.nl> | 2020-04-08 15:36:51 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-04-08 15:36:51 +0200 |
commit | 9a1b9756939e12e328dea3633d9fe3cbde8f154b (patch) | |
tree | 22407c5d909d99866cb0cca7053288bd3d38d52b /tex/generic/context/luatex/luatex-fonts-merged.lua | |
parent | 8dcafbcc0fbdde27cf480584450516602daacd42 (diff) | |
download | context-9a1b9756939e12e328dea3633d9fe3cbde8f154b.tar.gz |
2020-04-08 14:37: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 7cc1f0ecb..682730c80 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-03-30 13:25 +-- merge date : 2020-04-08 14:34 do -- begin closure to overcome local limits and interference |