Doing GitHub's work for them and ACTUALLY merging in DR v0.4.0.7 changes

2021-07-04 11:23:08 -05:00
parent 6e49f38bce
commit 433a1dfc35
18 changed files with 153 additions and 37 deletions
--- a/resources/app/cli/args.json
+++ b/resources/app/cli/args.json
@@ -239,6 +239,10 @@
    "action": "store_true",
    "type": "bool"
  },
+  "reduce_flashing": {
+    "action": "store_true",
+    "type": "bool"
+  },
  "mapshuffle": {
    "action": "store_true",
    "type": "bool"