diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2014-03-03 00:18:27 +0100 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2014-03-03 00:18:27 +0100 |
| commit | 847c9272f8f9e4de3d41840bc23c127c629b0a66 (patch) | |
| tree | 3d3325e3d32f577ac7004d742863549ca6bb4df5 /bin | |
| parent | f0ee0fb836fbb801ef5ce2babb315a4bdc49ab5a (diff) | |
work around inconsistent platform / platformName patterns
Probably not perfect, but duisburg, düsseldorf, essen look fine.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions