[MLton-user] Searching the mailing list.
rhywek at gmail.com
Tue May 15 11:44:35 PDT 2007
On 5/13/07, TJ <tjay.dreaming at gmail.com> wrote:
> On 5/13/07, Bartlomiej Szymczak <rhywek at gmail.com> wrote:
> > The problem is that there's no search feature. I don't feel like
> > downloading all files and grep-ing them. Does anyone know how I could
> > search mlton-user and mlton mailing lists?
> Google has a handy feature that's very useful for searching mailing
> lists. Just search like so:
> (Google) site:mlton.org/pipermail/mlton-user/ [search terms here]
Thank you all!
More information about the MLton-user