docs: correct kconfig option
commit6baabe5cf8d42ce6bc542fb3ec0bfc10c0ee6c5e
authorMarc-André Lureau <marcandre.lureau@redhat.com>
Tue, 23 Jul 2019 12:08:04 +0000 (23 16:08 +0400)
committerPaolo Bonzini <pbonzini@redhat.com>
Wed, 24 Jul 2019 09:21:59 +0000 (24 11:21 +0200)
tree4cbe44a016383e74be23755a77c68a7e541d9c53
parentbec7156a45aa6712395a770646f7078b1fc82acd
docs: correct kconfig option

Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Message-Id: <20190723120804.29565-1-marcandre.lureau@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
docs/devel/kconfig.rst