Re: [libvirt PATCH v2 7/8] docs: List the armvtimer timer among all others

On Fri, Feb 07, 2020 at 03:27:07PM +0100, Andrea Bolognani wrote: Signed-off-by: Andrea Bolognani --- docs/formatdomain.html.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in index 44e2062d01..3e899ffe4e 100644 ---

[libvirt PATCH v2 7/8] docs: List the armvtimer timer among all others

Signed-off-by: Andrea Bolognani --- docs/formatdomain.html.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in index 44e2062d01..3e899ffe4e 100644 --- a/docs/formatdomain.html.in +++ b/docs/formatdomain.html.in @@