add "riding_hall" also as an option to the "building type" field

see #1048
2026-07-06 04:57:54 +02:00 · 2023-11-14 11:45:12 +01:00
parent 970526a3ac
commit d3cc448870
2 changed files with 3 additions and 0 deletions
@@ -46,6 +46,7 @@
            "public": "Public Building",
            "residential": "Residential Building",
            "retail": "Retail Building",
+            "riding_hall": "Horseback Riding Arena",
            "roof": "Roof",
            "ruins": "Building Ruins",
            "school": "School Building",
@@ -776,6 +776,8 @@ en:
          residential: Residential Building
          # building=retail
          retail: Retail Building
+          # building=riding_hall
+          riding_hall: Horseback Riding Arena
          # building=roof
          roof: Roof
          # building=ruins