From 05fb624031e95a5c8fa72fdc6561a769881d8259 Mon Sep 17 00:00:00 2001 From: Max Kellermann Date: Tue, 24 Jul 2018 22:58:54 +0200 Subject: [PATCH] doc/protocol.xml: group elements --- doc/protocol.xml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/doc/protocol.xml b/doc/protocol.xml index dbd0738c0..34453196e 100644 --- a/doc/protocol.xml +++ b/doc/protocol.xml @@ -1847,9 +1847,10 @@ OK list TYPE FILTER - group - GROUPTYPE - ... + + group + GROUPTYPE +