On Tue, 30 Nov 1999, Victoriano Giralt wrote: > 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 <blush> gracias! Pete