Add 5.12.72 fields JSON

2020-05-20 21:59:12 -04:00
parent f0da875a46
commit 3d21ebbab0
63 changed files with 1675 additions and 0 deletions
--- a/fields/5.12.72/Wall.json
+++ b/fields/5.12.72/Wall.json
@@ -0,0 +1,9 @@
+{
+    "map_id": "",
+    "a": ["^([-]?[\\d]+[.]?[\\d]*)$"],
+    "b": ["^([-]?[\\d]+[.]?[\\d]*)$"],
+    "id": "",
+    "heightInMeters": "^([-]?[\\d]+[.]?[\\d]*)$",
+    "thicknessInMeters": "^([-]?[\\d]+[.]?[\\d]*)$",
+    "type": ""
+}