From: Dirk Koopman <djk@tobit.co.uk>
Date: Tue, 25 Jan 2022 14:42:32 +0000 (+0000)
Subject: fix grepdbg so it does what grepdbg -h says
X-Git-Url: http://dxcluster.org/gitweb/gitweb.cgi?a=commitdiff_plain;h=f653700decb8864d66aa45f849ab6796442171c4;hp=f653700decb8864d66aa45f849ab6796442171c4;p=spider.git

fix grepdbg so it does what grepdbg -h says
---