diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2016-05-03 08:09:36 +0200 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2016-05-03 08:09:41 +0200 |
commit | 664b28e1a6e6ded4240f05b329f754f0144d3f71 (patch) | |
tree | 35091fa47dc6619bdf27f573d6be06641d43eb25 /src/fontloader/misc/fontloader-font-map.lua | |
parent | db2e9e6df994386a71d9cca126b55e2676eedfc3 (diff) | |
download | luaotfload-664b28e1a6e6ded4240f05b329f754f0144d3f71.tar.gz |
[tool] check for version info in stats table
This could become the common check eventually.
Diffstat (limited to 'src/fontloader/misc/fontloader-font-map.lua')
0 files changed, 0 insertions, 0 deletions