diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2014-07-13 12:52:18 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-07-13 12:52:18 +0200 |
| commit | 42554adf7de06013127c9a2d63431456c82f447f (patch) | |
| tree | 9dbadb6c2b4566b9ee15e4ff6fa912613a0c7760 /src | |
| parent | 51a13c452989be9baf69c67923e655357b0526bd (diff) | |
| download | luaotfload-42554adf7de06013127c9a2d63431456c82f447f.tar.gz | |
[doc] fix variable identifiers
Diffstat (limited to 'src')
| -rwxr-xr-x | src/luaotfload-tool.lua | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/luaotfload-tool.lua b/src/luaotfload-tool.lua index 04237dd..8cfcac0 100755 --- a/src/luaotfload-tool.lua +++ b/src/luaotfload-tool.lua @@ -758,8 +758,6 @@ actions.loglevel = function (job) log.set_loglevel(lvl) report ("info", 3, "util", "Setting the log level to %d.", lvl) report ("log", 2, "util", "Lua=%q", _VERSION) - else - report ("info", 0, "util", "Invalid loglevel, ignoring.") end return true, true end |