extend coverage of disconnected flag
[spider.git] / examples / gb7tlh
1998-12-21 djkadded examples