fix grepdbg so it does what grepdbg -h says
[spider.git] / cmd / unset / registered.pl
2022-01-08 Dirk Koopmanadd CTY-3201 prefixes