PC61 with badip will now also stop following PC11s
[spider.git] / cmd / show / program.pl
2007-07-11 Dirk Koopmanremove $Id$ strings from everywhere that I can find
1998-12-28 djk1. Various detail changes to remove some more warning... R_1_17