Skip to content

Commit

Permalink
Just trigger a [rebuild] [release]
Browse files Browse the repository at this point in the history
  • Loading branch information
dabreegster committed Mar 18, 2023
1 parent 3710ce5 commit 15d2be4
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions map_gui/src/tools/mod.rs
Expand Up @@ -245,8 +245,6 @@ pub fn nice_map_name(name: &MapName) -> &str {
},
"ir" => match (name.city.city.as_ref(), name.map.as_ref()) {
("tehran", "parliament") => "Tehran (near Parliament)",
// TODO I'm not naming the other 9 maps in Tehran, because I'm not sure yet the
// boundaries are the ones that a researcher needs.
_ => &name.map,
},
"jp" => match (name.city.city.as_ref(), name.map.as_ref()) {
Expand Down

0 comments on commit 15d2be4

Please sign in to comment.