From 95de27d8d1760db3c16f18bfa4773ca6615ca4dc Mon Sep 17 00:00:00 2001 From: Axel Kohlmeyer Date: Fri, 15 Nov 2019 14:31:33 -0500 Subject: [PATCH] correct false positives to not have non-ASCII characters --- doc/utils/sphinx-config/false_positives.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/utils/sphinx-config/false_positives.txt b/doc/utils/sphinx-config/false_positives.txt index 5b3020c7d1..fee8f2fbe9 100644 --- a/doc/utils/sphinx-config/false_positives.txt +++ b/doc/utils/sphinx-config/false_positives.txt @@ -933,7 +933,7 @@ funcs functionalities functionals funroll -für +fuer fx fy fz