diff options
| author | Hans Hagen <pragma@wxs.nl> | 2019-08-18 22:51:53 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-08-18 22:51:53 +0200 |
| commit | f72c2cf29d36ae836c894bad29dfd965d1af0236 (patch) | |
| tree | 48ad8b3bf6b60b91118b5573ebcf9ea783285dfb /tex/generic/context/luatex/luatex-fonts-merged.lua | |
| parent | 91b59bb4f8b33701c69e095841fe4cf57971ac20 (diff) | |
| download | context-f72c2cf29d36ae836c894bad29dfd965d1af0236.tar.gz | |
2019-08-18 22:26: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 f91a0d110..b0c21ec63 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 : 08/17/19 11:46:05 +-- merge date : 08/18/19 22:16:14 do -- begin closure to overcome local limits and interference |