On Tue, 30 Nov 1999, Pete Holsberg wrote: > Is there a command to remove a list, or do we just have to > troll and delete? $prefix/bin/rmlist listname -- Victoriano Giralt Systems Programmer Central Computing Facility University of Málaga SPAIN