diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-03 22:22:56 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-03 22:22:56 +0200 |
commit | 24ef88fda9d592e880c4694b50c64c5ae0b74a92 (patch) | |
tree | 8435e1cc315e00790a99cbbc107072c15ae156a7 /luaotfload-database.lua | |
parent | 8d890cb8e98d50f13bfe2a279da5ce3518458ac1 (diff) | |
download | luaotfload-24ef88fda9d592e880c4694b50c64c5ae0b74a92.tar.gz |
[tool] make --find process normal requests
Diffstat (limited to 'luaotfload-database.lua')
-rw-r--r-- | luaotfload-database.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index 22a3744..939b6bb 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -2169,7 +2169,7 @@ update_names = function (fontnames, force, dry_run) if config.luaotfload.update_live == false then report("info", 2, "db", - "skipping database update") + "Skipping database update") --- skip all db updates return fontnames or names.data end |