Approval.

2020-08-04 13:23:04 +02:00
parent 5f77249548
commit fe0e570115
17 changed files with 51 additions and 17 deletions
--- a/backend/de/object_addendum.json
+++ b/backend/de/object_addendum.json
@ -105,7 +105,9 @@
        "markings": "Markierungen",
        "add_new_marking": "Neue Markierung erfassen",
        "marking_type": "Typ der Markierung",
-        "marking_position": "Position"
+        "marking_position": "Position",
+        "marking_width_mm": "Breite (mm)",
+        "marking_height_mm": "H\u00f6he (mm)"
    },
    "ortart": [
        "",