From 9b98b3cf26c450f19e763e9908468afc9ced029e Mon Sep 17 00:00:00 2001
From: Marius <mariausol@gmail.com>
Date: Sat, 11 Aug 2012 13:00:13 +0300
Subject: beta 2012.08.11 11:43

---
 tex/generic/context/luatex/luatex-fonts-merged.lua | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'tex/generic')

diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua
index fb1bba060..81280b892 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/10/12 19:40:14
+-- merge date  : 08/11/12 11:43:49
 
 do -- begin closure to overcome local limits and interference
 
@@ -2198,6 +2198,11 @@ end
 file.isreadable = file.is_readable -- depricated
 file.iswritable = file.is_writable -- depricated
 
+function file.size(name)
+    local a = attributes(name)
+    return a and a.size or 0
+end
+
 -- todo: lpeg \\ / .. does not save much
 
 local checkedsplit = string.checkedsplit
-- 
cgit v1.2.3