diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2014-12-08 00:00:23 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-12-08 00:00:23 +0100 |
| commit | ea148be27d5a79fd11759856e0ab4033f328ce5a (patch) | |
| tree | 0f71c913b435e4b6a4fde3d1029d33ef08fe8f60 /src/luaotfload-main.lua | |
| parent | 1fcdcfc9c7b1f84f8da1b2ea287b29a7989670a2 (diff) | |
| parent | a33dddf428bd44af867d1ee78b13fcf73d725ca5 (diff) | |
| download | luaotfload-ea148be27d5a79fd11759856e0ab4033f328ce5a.tar.gz | |
Merge pull request #259 from phi-gamma/master
various fixes
Diffstat (limited to 'src/luaotfload-main.lua')
| -rw-r--r-- | src/luaotfload-main.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/luaotfload-main.lua b/src/luaotfload-main.lua index 93256ee..0ecb248 100644 --- a/src/luaotfload-main.lua +++ b/src/luaotfload-main.lua @@ -377,7 +377,7 @@ end --- non-merge fallback scope pop_namespaces(our_environment, false)-- true) -logreport ("both", 0, "main", +logreport ("both", 1, "main", "fontloader loaded in %0.3f seconds", os.gettimeofday()-starttime) --[[doc-- |