From: Rico Tzschichholz Date: Tue, 30 May 2023 09:08:22 +0000 (+0200) Subject: manual: Update from wiki.gnome.org X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4f364e5c23c69a6a750a17433e90ea00dd199771;p=thirdparty%2Fvala.git manual: Update from wiki.gnome.org --- 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