fix console.pl max scroll depth
[spider.git] / cmd / type.pl
2007-07-11 Dirk Koopmanremove $Id$ strings from everywhere that I can find
2000-07-30 minima1. Added talk mode so that I don't have to keep typing...
1999-05-22 djkadded type and show/files