diff options
| author | Marius <mariausol@gmail.com> | 2014-01-08 16:40:26 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2014-01-08 16:40:26 +0200 |
| commit | 6091f1997cb58861ee2d0c2b9000430e8238b631 (patch) | |
| tree | baa55eb90f267baa1c5ad1364abd1595dbd90ce1 /tex/generic | |
| parent | 868b87aa072239464dc96017ddab0ba717d04da0 (diff) | |
| download | context-6091f1997cb58861ee2d0c2b9000430e8238b631.tar.gz | |
beta 2014.01.08 15:36
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 a3a2de5b1..e36d72840 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/07/14 17:03:56 +-- merge date : 01/08/14 15:36:15 do -- begin closure to overcome local limits and interference |