diff options
Diffstat (limited to 'luaotfload-fontloader.lua')
| -rw-r--r-- | luaotfload-fontloader.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/luaotfload-fontloader.lua b/luaotfload-fontloader.lua index a3a2de5..9f21df8 100644 --- a/luaotfload-fontloader.lua +++ b/luaotfload-fontloader.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/14/14 16:21:00 do -- begin closure to overcome local limits and interference |