diff options
| author | Marius <mariausol@gmail.com> | 2012-07-17 18:00:13 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2012-07-17 18:00:13 +0300 |
| commit | 82f7cb1e09b15555a886ef02ead563aac3f2e392 (patch) | |
| tree | 4379d6d64abd5bd59e8b0a9077826ff3272f3568 /tex/generic | |
| parent | c30a841cef093918b475e0ea95ecf9fc9f30697d (diff) | |
| download | context-82f7cb1e09b15555a886ef02ead563aac3f2e392.tar.gz | |
beta 2012.07.17 16:42
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 b92bf2ab3..b6eabbeb4 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/17/12 00:23:01 +-- merge date : 07/17/12 16:42:27 do -- begin closure to overcome local limits and interference |