diff options
| author | Hans Hagen <pragma@wxs.nl> | 2017-08-07 12:17:12 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-08-07 12:17:12 +0200 |
| commit | 58574b14679ae5796ea24a506ba27faf838c10ba (patch) | |
| tree | e25dbc01e72202d3f568e8b1cf3437fd3b0967e9 /tex/generic | |
| parent | 5c6090af6fb0808017d6f2fe263b90e2efa0ae5e (diff) | |
| download | context-58574b14679ae5796ea24a506ba27faf838c10ba.tar.gz | |
2017-08-07 11:35:00
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 bc2a18b69..7624ff77b 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 : c:/data/develop/context/sources/luatex-fonts-merged.lua -- parent file : c:/data/develop/context/sources/luatex-fonts.lua --- merge date : 08/06/17 16:12:17 +-- merge date : 08/07/17 11:30:07 do -- begin closure to overcome local limits and interference |