From: Dirk Koopman Date: Sat, 4 Feb 2023 12:13:47 +0000 (+0000) Subject: fix search terms starting with \d+ in sh/log etc X-Git-Url: http://dxcluster.net/gitweb/gitweb.cgi?a=commitdiff_plain;h=96f67f30b496aafcb4276f9fe9cf0fa9f572318b;hp=96f67f30b496aafcb4276f9fe9cf0fa9f572318b;p=spider.git fix search terms starting with \d+ in sh/log etc ---