From 4f364e5c23c69a6a750a17433e90ea00dd199771 Mon Sep 17 00:00:00 2001 From: Rico Tzschichholz Date: Tue, 30 May 2023 11:08:22 +0200 Subject: [PATCH] manual: Update from wiki.gnome.org --- doc/manual/manual.xml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index 102e8681b..5370c99a4 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -837,9 +837,11 @@ case-clause [ case-clauses ] case-clause: -case literal-expression : embedded-statement +case literal-expression : embedded-statement + break-statement default-clause: -default : embedded-statement +default : embedded-statement + break-statement
-- 2.47.2