diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-05-17 10:29:20 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-05-17 10:29:20 +0200 |
| commit | af172a8db5f7583d0117635edde17eba5619d883 (patch) | |
| tree | 50688f3516ce1a3e3d19922666d80101d473f124 /tex/generic | |
| parent | b344014638169aad6e5f6d2a9a703cb03a8b5064 (diff) | |
| download | context-af172a8db5f7583d0117635edde17eba5619d883.tar.gz | |
2016-05-17 10:11: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 69d5cfe14..f10f1399f 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 : 05/15/16 20:46:20 +-- merge date : 05/17/16 10:06:55 do -- begin closure to overcome local limits and interference |