Merged in DR v1.2.0.20

2023-08-07 15:30:50 -05:00
parent 1566813f81 bc5c6da2ac
commit 06e3dc80d6
21 changed files with 376 additions and 76 deletions
--- a/resources/app/cli/args.json
+++ b/resources/app/cli/args.json
@@ -259,6 +259,10 @@
    "action": "store_true",
    "type": "bool"
  },
+  "door_self_loops": {
+    "action": "store_true",
+    "type": "bool"
+  },
  "experimental": {
    "action": "store_true",
    "type": "bool"