diff options
| author | Marius <mariausol@gmail.com> | 2013-08-02 23:01:03 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2013-08-02 23:01:03 +0300 |
| commit | 1af3de21e3d70133c5c9b1898256b41c3515b66a (patch) | |
| tree | 35a5c0f5a87e79313a04543a99b0c00c2730adf7 /tex/generic | |
| parent | ba8b379386b98e715a7ec8b6f2d0c6f31ea446c5 (diff) | |
| download | context-1af3de21e3d70133c5c9b1898256b41c3515b66a.tar.gz | |
beta 2013.08.02 21:57
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 146ba3655..ab25796d2 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 : 08/01/13 01:31:02 +-- merge date : 08/02/13 21:57:31 do -- begin closure to overcome local limits and interference @@ -5184,7 +5184,7 @@ local report_otf=logs.reporter("fonts","otf loading") local fonts=fonts local otf=fonts.handlers.otf otf.glists={ "gsub","gpos" } -otf.version=2.743 +otf.version=2.744 otf.cache=containers.define("fonts","otf",otf.version,true) local fontdata=fonts.hashes.identifiers local chardata=characters and characters.data |