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