diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 19:30:46 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 19:30:46 +0100 |
commit | 5e5f8de85320ba0ed005fc1676e6df4d877845df (patch) | |
tree | beb24e36b63332f2cb41ad0cb515d50963528cf2 /luaotfload-diagnostics.lua | |
parent | 31abae6c9f15d75bf0b09be212eef35ae124b4a8 (diff) | |
download | luaotfload-5e5f8de85320ba0ed005fc1676e6df4d877845df.tar.gz |
[db,tool] add --compress option for gzipping the index
Diffstat (limited to 'luaotfload-diagnostics.lua')
0 files changed, 0 insertions, 0 deletions