# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1739560661 -3600
# Node ID 2213186e592825631d00563f3df107072e66aeeb
# Parent  4a10892b6a005c624f9f62e78bbe24c6189c10c3
tuned doc;

diff -r 4a10892b6a00 -r 2213186e5928 src/Tools/Find_Facts/web/src/About.elm
--- a/src/Tools/Find_Facts/web/src/About.elm	Fri Feb 14 20:12:18 2025 +0100
+++ b/src/Tools/Find_Facts/web/src/About.elm	Fri Feb 14 20:17:41 2025 +0100
@@ -19,7 +19,7 @@
   view_def "Wildcards" "consist of ?/* inside a term and match a single/arbitrary many characters." ++
   view_def "Phrases" "are delimited by \" quotes and match a term sequence (no wildcards) exactly." ++
   view_def "Main search bar" "will look for any of your terms in source code and names." ++
-  view_def "Filters" "allow you to exclude/include (click on the checkmark) specific properties." ++
+  view_def "Filters" "allow you to exclude/include (click on the symbol) specific properties." ++
   view_def "Drill-down" "allows you to multi-select once your result set is small enough."
 
 view: Html Never