diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-09-12 16:33:29 +0200 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-09-12 16:33:29 +0200 |
| commit | f2dd602fef2ecf0a6598b817d71ce2ee8fadd5cc (patch) | |
| tree | 5f6a44704530554148565c7f0a563ad124bd79c3 /tools/gendist | |
| parent | 9f4908fe78cb3e5191bca721588ee1acb10876e3 (diff) | |
Backport some minor changes from int-new
Diffstat (limited to 'tools/gendist')
0 files changed, 0 insertions, 0 deletions