diff options
| author | Hans Hagen <pragma@wxs.nl> | 2022-04-20 20:17:28 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-04-20 20:17:28 +0200 |
| commit | f740345a433f2b9736b14f61a98173763e093b6f (patch) | |
| tree | b216dd9b5188da8049416d85280a715cbb5523f6 /tex/generic/context/luatex/luatex-fonts-merged.lua | |
| parent | b9a7e870cf47674c90331b41f9267768992b49cb (diff) | |
| download | context-f740345a433f2b9736b14f61a98173763e093b6f.tar.gz | |
2022-04-20 19:17: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 4f01e92df..3c0b95c6d 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 : 2022-04-19 19:50 +-- merge date : 2022-04-20 19:15 do -- begin closure to overcome local limits and interference |