diff options
| author | Marius <mariausol@gmail.com> | 2010-11-01 22:40:12 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2010-11-01 22:40:12 +0200 |
| commit | c0db05b960fecca63f1ead6204351137260d7c5f (patch) | |
| tree | c3c82886dd8b4e25769f508572767702ea38accf /tex/generic | |
| parent | e19e21294c4450e292a48ee5a3cec8a90daf91ed (diff) | |
| download | context-c0db05b960fecca63f1ead6204351137260d7c5f.tar.gz | |
beta 2010.11.01 21:16
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex-fonts-merged.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tex/generic/context/luatex-fonts-merged.lua b/tex/generic/context/luatex-fonts-merged.lua index b366fb801..a8ad77afd 100644 --- a/tex/generic/context/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 11/01/10 12:14:26 +-- merge date : 11/01/10 21:16:51 do -- begin closure to overcome local limits and interference @@ -190,8 +190,8 @@ local lpeg = require("lpeg") lpeg.patterns = lpeg.patterns or { } -- so that we can share local patterns = lpeg.patterns -local P, R, S, Ct, C, Cs, Cc, V = lpeg.P, lpeg.R, lpeg.S, lpeg.Ct, lpeg.C, lpeg.Cs, lpeg.Cc, lpeg.V -local match = lpeg.match +local P, R, S, V, match = lpeg.P, lpeg.R, lpeg.S, lpeg.V, lpeg.match +local Ct, C, Cs, Cc, Cf, Cg = lpeg.Ct, lpeg.C, lpeg.Cs, lpeg.Cc, lpeg.Cf, lpeg.Cg local utfcharacters = string.utfcharacters local utfgmatch = unicode and unicode.utf8.gmatch |