Philippe Mathieu-Daudé c61a0d31f8 cli: Remove deprecated '-singlestep' command line option ...

This option has been deprecated before the 8.1 release,
in commit 12fd0f41d0 ("Document that -singlestep command
line option is deprecated"). Time to drop it.

Inspired-by: Thomas Huth <thuth@redhat.com>
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Reviewed-by: Thomas Huth <thuth@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Message-ID: <20240117151430.29235-4-philmd@linaro.org>
Signed-off-by: Thomas Huth <thuth@redhat.com>

2024-01-19 11:38:32 +01:00

..

index.rst

docs: add hotlinks to about preface text

2023-02-02 10:44:23 +00:00

main.rst

cli: Remove deprecated '-singlestep' command line option

2024-01-19 11:38:32 +01:00