diff options
| author | Linus Nordberg <linus@nordberg.se> | 2016-09-21 14:32:57 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordberg.se> | 2016-09-21 14:32:57 +0200 |
| commit | a63094bbb1a7d31f53fa42f758cb157a07aabbf8 (patch) | |
| tree | c671b2ab9900290f881ce2ab78c43f00828fd800 /doc/1.6 | |
| parent | 9c6bf7a9ad192d7d0f5878042c7c122338248d49 (diff) | |
Let's use gz because that's what make dist makes for us.
And I don't have the patience to fix this right now.
Diffstat (limited to 'doc/1.6')
0 files changed, 0 insertions, 0 deletions