fix search terms starting with \d+ in sh/log etc
[spider.git] / cmd / unset / startup.pl
2020-04-22 Dirk KoopmanFix unset/startup cmd
2007-07-11 Dirk Koopmanremove $Id$ strings from everywhere that I can find
2005-01-15 minimaadded inscript test to selected commands
2005-01-12 minimaadd user startup script maintenance