diff options
| author | Marius <mariausol@gmail.com> | 2012-07-07 00:00:15 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2012-07-07 00:00:15 +0300 |
| commit | 9ba0684d7d13bb398c11c5854df61e25ee62f077 (patch) | |
| tree | bff2fdd530dd7e3516b35a1758a90b07adc22eda /tex/generic | |
| parent | 692440a8ee220c4de7523016ce42b763f358ee5d (diff) | |
| download | context-9ba0684d7d13bb398c11c5854df61e25ee62f077.tar.gz | |
beta 2012.07.06 22:37
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 79b749226..c7acc7b5a 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 : 07/06/12 19:11:14 +-- merge date : 07/06/12 22:37:28 do -- begin closure to overcome local limits and interference |