deprecate craft=car_repair -> shop=car_repair

2026-05-24 00:54:03 +02:00 · 2020-12-10 01:33:56 +01:00
parent d9d8e5d52a
commit 390e8c0b2d
1 changed files with 4 additions and 0 deletions
@@ -406,6 +406,10 @@
    "old": {"contents": "*"},
    "replace": {"content": "$1"}
  },
+  {
+    "old": {"craft": "car_repair"},
+    "replace": {"shop": "car_repair"}
+  },
  {
    "old": {"craft": "catering"},
    "replace": {"craft": "caterer"}