diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-01 23:49:14 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-01 23:49:14 +0200 |
commit | e29c39733ad90a0ca354808aef71b1b2e0acc9c9 (patch) | |
tree | b265a51ed6b8cd1bb898511e2c516ba306be16e8 /src/fontloader/misc/fontloader-mplib.lua | |
parent | 8bd26bbc573d4320fce8d6535737dd25e277bd2f (diff) | |
download | luaotfload-e29c39733ad90a0ca354808aef71b1b2e0acc9c9.tar.gz |
[tool] include stats on demand only (--stats option)
Diffstat (limited to 'src/fontloader/misc/fontloader-mplib.lua')
0 files changed, 0 insertions, 0 deletions