From 756f36101f68b9be1ce77f7f528ef313d4a38fb4 Mon Sep 17 00:00:00 2001 From: "B. Petersen" Date: Thu, 20 Dec 2018 17:28:33 +0100 Subject: [PATCH] note that the heuristic part is not yet implemented --- res/xml/preferences_advanced.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/res/xml/preferences_advanced.xml b/res/xml/preferences_advanced.xml index 4292ef5ad..c97b8a795 100644 --- a/res/xml/preferences_advanced.xml +++ b/res/xml/preferences_advanced.xml @@ -31,6 +31,7 @@