chiark / gitweb /
Fix island name finding (fixes bug mentioned in wiki)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 10:29:38 +0000 (11:29 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 16:13:11 +0000 (17:13 +0100)
commitfa8b0deb7b4364d66a97998ddf67b4912e489fee
tree5f661bee89165e48975f5726b7cde0d264023ab3
parent0ce695ae0aa6c7b6f9a07d8e8e7795fd8ef5b5ca
Fix island name finding (fixes bug mentioned in wiki)
src/net/chiark/yarrg/MarketUploader.java