From 1d1ff1b5f812b89f696ef1f93ccc693b2635d99a Mon Sep 17 00:00:00 2001 From: Tom Cariello Date: Wed, 27 Sep 2023 09:51:32 -0400 Subject: Removed extra tick after gtime example in documentation (#11574) --- docs/source/debugger/execution.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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` -- cgit v1.2.3