Deprecate building=home, building=family_house, and building=household

2026-06-03 21:48:03 +02:00 · 2019-03-20 16:02:03 -04:00
parent 9099da8c0e
commit 66580a1e79
2 changed files with 15 additions and 0 deletions
@@ -92,6 +92,18 @@
      "old": {"building": "entrance"},
      "replace": {"entrance": "*"}
    },
+    {
+      "old": {"building": "family_house"},
+      "replace": {"building": "house"}
+    },
+    {
+      "old": {"building": "home"},
+      "replace": {"building": "house"}
+    },
+    {
+      "old": {"building": "household"},
+      "replace": {"building": "house"}
+    },
    {
      "old": {"building:color": "*"},
      "replace": {"building:colour": "$1"}