diff options
| author | Marius <mariausol@gmail.com> | 2014-01-17 13:20:16 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2014-01-17 13:20:16 +0200 |
| commit | 5fa6d0b793f3d42ca2490a067395d1aa7e631161 (patch) | |
| tree | f50a698e5d6fff6a39f2eeaed8f31437b0710b04 /tex/generic | |
| parent | 0f87db01e9ffd4387ad2dfe744371613d79e0273 (diff) | |
| download | context-5fa6d0b793f3d42ca2490a067395d1aa7e631161.tar.gz | |
beta 2014.01.17 12:19
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 4ab512308..f9ee8f3ba 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/16/14 22:46:19 +-- merge date : 01/17/14 12:19:08 do -- begin closure to overcome local limits and interference |