Removed extra tick after gtime example in documentation (#11574)

This commit is contained in:
Tom Cariello 2023-09-27 09:51:32 -04:00 committed by GitHub
parent d8f1b27939
commit 1d1ff1b5f8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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`