diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2016-04-18 20:42:54 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2016-04-18 20:43:04 +0200 |
| commit | 2f3b7ea9743c9196041d2b31b514a43a3b298ffc (patch) | |
| tree | f5af67027abdda10ebd36391a7dacde961d9e82d /src/fontloader/misc/fontloader-mplib.lua | |
| parent | fbb0376f90e3e81048ce8a91df065d708afec36d (diff) | |
| download | luaotfload-2f3b7ea9743c9196041d2b31b514a43a3b298ffc.tar.gz | |
[tool,doc] inter fontloader warnings option
The option has become redundant with the new loader so we might as well
get rid of it.
Diffstat (limited to 'src/fontloader/misc/fontloader-mplib.lua')
0 files changed, 0 insertions, 0 deletions