From 9d934985adb9eb8290e62df187e044105c9dd6b8 Mon Sep 17 00:00:00 2001 From: Andrew Cooper Date: Mon, 17 Feb 2020 18:29:36 +0000 Subject: [PATCH] docs: Fix formatting in the all-docs index Signed-off-by: Andrew Cooper --- tests/nmi-taskswitch-priv/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/nmi-taskswitch-priv/main.c b/tests/nmi-taskswitch-priv/main.c index f21b559..266690b 100644 --- a/tests/nmi-taskswitch-priv/main.c +++ b/tests/nmi-taskswitch-priv/main.c @@ -2,7 +2,7 @@ * @file tests/nmi-taskswitch-priv/main.c * @ref test-nmi-taskswitch-priv * - * @page test-nmi-taskswitch-priv NMI Taskswitch with increasing privilege. + * @page test-nmi-taskswitch-priv NMI Taskswitch with increasing privilege * * 32bit versions of Windows use a Task Gate for handling @#NMI, and use NMI * IPIs between vCPUs in some circumstances. -- 2.39.5