diff options
| author | Marius <mariausol@gmail.com> | 2013-11-08 14:00:13 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2013-11-08 14:00:13 +0200 |
| commit | ef273426ef4cecf5804a6fc9cf0e627f2edec7fd (patch) | |
| tree | 93c21f92012c35448676da84071388305f01b064 /tex/generic | |
| parent | 3d19b38813d3e59a5ae7b5df9beca41c819ab914 (diff) | |
| download | context-ef273426ef4cecf5804a6fc9cf0e627f2edec7fd.tar.gz | |
beta 2013.11.08 11:50
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 b426ce304..705c1146f 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 : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 11/07/13 15:28:28 +-- merge date : 11/08/13 11:50:45 do -- begin closure to overcome local limits and interference |