diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2016-01-21 23:19:06 +0100 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2016-01-21 23:19:06 +0100 |
commit | 95c68d691764fd1458e68456f8cc035f6164d041 (patch) | |
tree | 95609a221f3b6f472a5e9ec5e82acdb419ca66c5 /src/fontloader/misc/fontloader-mplib.lua | |
parent | 5b0c1656911e5f2d436a8145fd046349ac1cb66f (diff) | |
download | luaotfload-95c68d691764fd1458e68456f8cc035f6164d041.tar.gz |
[init] always log final fontloader choice
Diffstat (limited to 'src/fontloader/misc/fontloader-mplib.lua')
0 files changed, 0 insertions, 0 deletions