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

tyrasd · tyrasd · commit d3cc44887041 · 2023-11-14T11:46:10.000+01:00
see #1048
diff --git a/data/fields/building.json b/data/fields/building.json
@@ -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",
diff --git a/interim/source_strings.yaml b/interim/source_strings.yaml
@@ -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
