fix grepdbg so it does what grepdbg -h says
[spider.git] / contrib / g0rdi / show / heading.pl
1998-12-22 djk*** empty log message ***