diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2017-01-28 20:41:15 +0100 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2017-01-29 01:11:19 +0100 |
commit | be76d78b894022622622050e3cc5fcd882b54acc (patch) | |
tree | 02df00680e83a56b44bd78f09f3aa8278391ae0e /src/fontloader/misc/fontloader-mplib.tex | |
parent | b0cb116048d189b72d15f1a6c19f0fb365e65d40 (diff) | |
download | luaotfload-be76d78b894022622622050e3cc5fcd882b54acc.tar.gz |
[log] handle logging more defensively
Diffstat (limited to 'src/fontloader/misc/fontloader-mplib.tex')
0 files changed, 0 insertions, 0 deletions