diff options
author | 2023-09-27 09:51:32 -0400 | |
---|---|---|
committer | 2023-09-28 00:33:45 +1000 | |
commit | eaa84a2679b3fd3f8c878bd9bc7b4be0cc151ef8 (patch) | |
tree | b464d7cc34981b368e168521b5d897fe5d537c1f | |
parent | bd4746a4e6f1277d9d9a68f2cf8a64de45657d63 (diff) |
Removed extra tick after gtime example in documentation (#11574)
-rw-r--r-- | docs/source/debugger/execution.rst | 2 |
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` |