fix grepdbg so it does what grepdbg -h says
authorDirk Koopman <djk@tobit.co.uk>
Tue, 25 Jan 2022 14:42:32 +0000 (14:42 +0000)
committerDirk Koopman <djk@tobit.co.uk>
Tue, 25 Jan 2022 14:42:32 +0000 (14:42 +0000)

No differences found