diff -r d1f7eb833353 -r 729a59e18c7d WikiSyntax.wiki --- a/WikiSyntax.wiki Fri Jul 13 05:01:28 2018 +0100 +++ b/WikiSyntax.wiki Fri Jul 13 05:07:20 2018 +0100 @@ -20,7 +20,7 @@ || *Pragma* || *Value* || || #summary || One-line summary of the page || -|| #labels || Comma-separated list of labels (filled in automatically via the web UI) || +|| #labels || Comma-separated list of labels || = Wiki-style markup =