diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-28 22:26:14 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-28 22:26:14 +0200 |
| commit | acb76cca1c0bdedc811d7eeed1b2392b692cdf50 (patch) | |
| tree | 249dc6ee764d0acfc56f876ed00a18fea4605363 /luaotfload-tool.lua | |
| parent | e263928dfb028952384103d1edc98cea467d4555 (diff) | |
| download | luaotfload-acb76cca1c0bdedc811d7eeed1b2392b692cdf50.tar.gz | |
have file locator return the filename when known fonts are specified without extension
Diffstat (limited to 'luaotfload-tool.lua')
| -rwxr-xr-x | luaotfload-tool.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index 9479180..a379633 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -546,7 +546,7 @@ local process_cmdline = function ( ) -- unit -> jobspec force_reload = nil, criterion = "", query = "", - log_level = 1, --- 2 is approx. the old behavior + log_level = 0, --- 2 is approx. the old behavior } local long_options = { |