diff options
author | 2023-09-27 09:51:32 -0400 | |
---|---|---|
committer | 2023-09-27 15:51:32 +0200 | |
commit | 1d1ff1b5f812b89f696ef1f93ccc693b2635d99a (patch) | |
tree | d0de99706163175485167a639757dee6f787afd9 /docs/source/debugger | |
parent | d8f1b27939216dc6666e1a334f38204e17509ceb (diff) |
Removed extra tick after gtime example in documentation (#11574)
Diffstat (limited to 'docs/source/debugger')
-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` |