diff options
author | 2022-05-10 14:45:26 -0600 | |
---|---|---|
committer | 2022-05-10 16:45:26 -0400 | |
commit | 352a505325e46d8c62ac6823256be2ed35676336 (patch) | |
tree | 5be01977bb91dc249e480b7f28cafc8249018916 /docs/source/debugger | |
parent | 924e3c2eb47c91ee1c553eea99a3685d67729e09 (diff) |
Add debugger time command to docs (#9735)
Diffstat (limited to 'docs/source/debugger')
-rw-r--r-- | docs/source/debugger/general.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/source/debugger/general.rst b/docs/source/debugger/general.rst index 52146e369cd..e7d82c3ad1c 100644 --- a/docs/source/debugger/general.rst +++ b/docs/source/debugger/general.rst @@ -41,6 +41,8 @@ General Debugger Commands save a screen snapshot :ref:`debugger-command-source` read commands from file and executes them one by one +:ref:`debugger-command-time` + prints the current machine time to the console :ref:`debugger-command-quit` exit the debugger and end the emulation session |