Re: [PATCH v1 1/2] docs/devel: rename plugins.rst to tcg-plugins.rst

2019-11-12 Thread Peter Maydell
On Tue, 12 Nov 2019 at 16:42, Alex Bennée wrote: > > This makes it a bit clearer what this is about. > > Signed-off-by: Alex Bennée > --- > MAINTAINERS | 1 + > docs/devel/{plugins.rst => tcg-plugins.rst} | 0 > 2 files changed, 1 insertion(+) > rename docs/devel

[PATCH v1 1/2] docs/devel: rename plugins.rst to tcg-plugins.rst

2019-11-12 Thread Alex Bennée
This makes it a bit clearer what this is about. Signed-off-by: Alex Bennée --- MAINTAINERS | 1 + docs/devel/{plugins.rst => tcg-plugins.rst} | 0 2 files changed, 1 insertion(+) rename docs/devel/{plugins.rst => tcg-plugins.rst} (100%) diff --git a/MAINTAINERS