diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-05-13 13:15:04 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-05-13 13:15:04 +0200 |
commit | 5b950ea4c3765801736e3f69beba2f9d307c3abe (patch) | |
tree | 0937b90f602234bfe2b32d2c87f36bbfe2a58ebc /tex/generic | |
parent | 7f5eb04f74a51af25ee3f8016c4245fcb4dd0df2 (diff) | |
download | context-5b950ea4c3765801736e3f69beba2f9d307c3abe.tar.gz |
2015-05-13 13:06:00
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 ead4e2aea..de74d99a4 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 : 05/12/15 17:57:50 +-- merge date : 05/13/15 13:04:20 do -- begin closure to overcome local limits and interference |