diff options
author | Marius <mariausol@gmail.com> | 2012-08-10 00:00:15 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2012-08-10 00:00:15 +0300 |
commit | fde392fe2694258c132ab6ac43068075a6a8e69d (patch) | |
tree | 14a3e957280577373348c82358d6ba96683d4805 /tex/generic | |
parent | 0b00489585cd59b7165030979c9244d9091dd952 (diff) | |
download | context-fde392fe2694258c132ab6ac43068075a6a8e69d.tar.gz |
beta 2012.08.09 20:28
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 0ca0f4732..f3c201b25 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 : 08/09/12 17:17:04 +-- merge date : 08/09/12 20:28:34 do -- begin closure to overcome local limits and interference |