About searching the cmdist archives, I've used https://www.mail-archive.com/[email protected]/ plenty of times
On Tue, 7 Jan 2025, 22:51 , <[email protected]> wrote: > On the question, how do people search the cmdist archives? > They don't -- we use mailman or something, and the only > way to search is to get the monthly tarballs and search them! > > _______________________________________________ > Cmdist mailing list > [email protected] > https://cm-mail.stanford.edu/mailman/listinfo/cmdist >
_______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist
