summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorDaniel Friesel <derf@finalrewind.org>2014-03-03 00:18:27 +0100
committerDaniel Friesel <derf@finalrewind.org>2014-03-03 00:18:27 +0100
commit847c9272f8f9e4de3d41840bc23c127c629b0a66 (patch)
tree3d3325e3d32f577ac7004d742863549ca6bb4df5 /bin
parentf0ee0fb836fbb801ef5ce2babb315a4bdc49ab5a (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