fix console.pl max scroll depth
[spider.git] / cmd / Commands_de.hlp
2007-07-11 Dirk Koopmanremove $Id$ strings from everywhere that I can find
2005-01-16 minimaadd revision Ids
2003-02-14 g0vgsChanges to manual namings to standardise. Added script...
2001-12-26 minimadetail changes to help texts
2001-12-12 minima1. added Commands_de.hlp contributed (in record time...