diff options
| author | Hans Hagen <pragma@wxs.nl> | 2023-01-15 14:50:04 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-01-15 14:50:04 +0100 |
| commit | 0caec226a633182402b349c3ac5b3bf9e0bc76c2 (patch) | |
| tree | 30524574e0b41eb771f5f9af8cadc60354652aa3 /tex/generic | |
| parent | 659b8f28e591006b6d0669c05d809d6ccf60cec0 (diff) | |
| download | context-0caec226a633182402b349c3ac5b3bf9e0bc76c2.tar.gz | |
2023-01-15 13:55:00
Diffstat (limited to 'tex/generic')
| -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 ee3ab219c..71dafd320 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 : 2023-01-05 17:43 +-- merge date : 2023-01-15 13:53 do -- begin closure to overcome local limits and interference |