Changes to manual namings to standardise. Added script from M0AZM to
[spider.git] / cmd / agwrestart.pl
2001-04-01 minimafix agwrestart
2001-03-31 minimaadd agwrestart really this time