fix search terms starting with \d+ in sh/log etc
[spider.git] / cmd / unset / seeme.pl
2022-01-29 Dirk Koopmanheadline: RBN set/seeme