fix grepdbg so it does what grepdbg -h says
[spider.git] / examples /
1998-12-21 djkadded examples