diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2018-08-16 19:22:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-16 19:22:45 -0700 |
| commit | 5dd420f7ff2c87a5412a55fea29eb21615a89e14 (patch) | |
| tree | 93c0afa00ee8f6317600301c01b1ddbf086d7e73 /tools | |
| parent | 92ed5d7bf223212e8db04af3f6712770ec2c86ea (diff) | |
| parent | e8cf6a907236bb06a6f8d734b8d829e3dba91825 (diff) | |
Merge pull request #1121 from tannewt/huffman
Compress all translated strings with Huffman coding.
Diffstat (limited to 'tools')
| m--------- | tools/huffman | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/huffman b/tools/huffman new file mode 160000 +Subproject 27b1bba76198a0b343f694a6d680b5293d1c56a |