Re: [MiNT] Searching mintlist

[Philipp Donzé <philipp.donze@epfl.ch>]

Google search is the option I've looked for.
I've tried it with "site:sparemint.org" which doesn't work at all, as  
the real name is "sparemint.atariforge.net".

It would be a great improvement to have a "google web search" for the  
mintlist archives or the whole website.
Find information at http://www.google.com/intl/en/searchcode.html.

Keeping the whole mintlist archive as an offline copy is not an  
option for me. Apart from keeping all these files on my hard disk, my  
opinion is that WWW should be the information source. (Anywhere,  
anytime accessible)


Philipp