diff options
| author | Marius <mariausol@gmail.com> | 2014-01-23 03:20:15 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2014-01-23 03:20:15 +0200 |
| commit | 3234906ac7cb4eac2077af3dff2b3db452514cd0 (patch) | |
| tree | 0cbae624d537cf23cdb4bc15aab87d86dd9f71ed /tex/generic | |
| parent | aa79642f7c1e89b65b77e54f4b03722c4582839c (diff) | |
| download | context-3234906ac7cb4eac2077af3dff2b3db452514cd0.tar.gz | |
beta 2014.01.23 01:55
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 cfa3937a2..45d810517 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 : 01/22/14 01:31:43 +-- merge date : 01/23/14 01:55:54 do -- begin closure to overcome local limits and interference |