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.dtx | |
| parent | 31abae6c9f15d75bf0b09be212eef35ae124b4a8 (diff) | |
| download | luaotfload-5e5f8de85320ba0ed005fc1676e6df4d877845df.tar.gz | |
[db,tool] add --compress option for gzipping the index
Diffstat (limited to 'luaotfload.dtx')
0 files changed, 0 insertions, 0 deletions