Fix description of TIMEOUT command -- seconds are not optional.

2019-04-26 12:46:15 -07:00 · 2019-04-26 12:46:15 -07:00 · 51b0de5670
commit 51b0de5670
parent f061956d65
2 changed files with 0 additions and 2 deletions
--- a/core/commands.json
+++ b/core/commands.json
@ -1334,7 +1334,6 @@
    "arguments": [
      {
        "name": "seconds",
-        "optional": true,
        "type": "double"
      }
    ],
--- a/core/commands_gen.go
+++ b/core/commands_gen.go
@ -1500,7 +1500,6 @@ var commandsJSON = `{
    "arguments": [
      {
        "name": "seconds",
-        "optional": true,
        "type": "double"
      }
    ],