Take a look in cvs. There's a script called bin/discard which takes a list of file names and does proper discards on all those files. I'll be testing it on mail.python.org when 1) I dig out from the mail hell we've been in for the last few days, and 2) SF's CVS stops sucking <wink>.
-Barry _______________________________________________ Mailman-Developers mailing list [EMAIL PROTECTED] http://mail.python.org/mailman/listinfo/mailman-developers
