summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
author Tom Cariello <Tomcariello@users.noreply.github.com>2023-09-27 09:51:32 -0400
committer Vas Crabb <vas@vastheman.com>2023-09-28 00:33:45 +1000
commiteaa84a2679b3fd3f8c878bd9bc7b4be0cc151ef8 (patch)
treeb464d7cc34981b368e168521b5d897fe5d537c1f
parentbd4746a4e6f1277d9d9a68f2cf8a64de45657d63 (diff)
Removed extra tick after gtime example in documentation (#11574)
-rw-r--r--docs/source/debugger/execution.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/source/debugger/execution.rst b/docs/source/debugger/execution.rst
index cc4fc280cc1..c6547c37ba2 100644
--- a/docs/source/debugger/execution.rst
+++ b/docs/source/debugger/execution.rst
@@ -301,7 +301,7 @@ specified in milliseconds.
Example:
-``gtime #10000```
+``gtime #10000``
Resume execution for ten seconds of emulated time.
Back to :ref:`debugger-execution-list`