diff options
| author | Linus Nordberg <linus@nordu.net> | 2017-02-08 01:07:52 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2017-02-08 01:13:45 +0100 |
| commit | b188fcc29c3df97978e5da4a87b946b300d79932 (patch) | |
| tree | e29d9b288bd59110f3e136aaa762dcdad6ea635d /tools/merge_dist.py | |
| parent | 6ac91648a9b855235783ade018470b498d056b90 (diff) | |
Correct a few file names.
Diffstat (limited to 'tools/merge_dist.py')
0 files changed, 0 insertions, 0 deletions