fix console.pl max scroll depth
[spider.git] / cmd / echo.pl
2007-07-11 Dirk Koopmanremove $Id$ strings from everywhere that I can find
2002-01-06 minimaadd the save and echo commands