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)
commitf653700decb8864d66aa45f849ab6796442171c4
treee3a7f6b2d2150981393467fd67bd96c7d0dce089
parent48f0cb90d0cfbe3037f353fc25adfc33561634fa
fix grepdbg so it does what grepdbg -h says
Changes
cmd/export_users.pl
perl/DXUser.pm
perl/grepdbg