diff options
| author | mid-kid <esteve.varela@gmail.com> | 2020-03-01 23:39:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-01 23:39:53 +0100 |
| commit | 1d122c86cfeebcb14abde2ceec340ae2baa73cd2 (patch) | |
| tree | 007c6b3969626c375f743ca46ef0d8046ae984e4 /tools/mapreader.py | |
| parent | 9bec0e0f7846bffb3e5d625b35cfb55db078d334 (diff) | |
| parent | f09b68d9450e0770115b764a49342bc9767d75f4 (diff) | |
Merge pull request #692 from Rangi42/master
Change how some PNG graphics are formatted
Diffstat (limited to 'tools/mapreader.py')
0 files changed, 0 insertions, 0 deletions