On Fri, Oct 26, 2001 at 11:46:58AM +0200, Marco Ermini wrote: > Peccato che Mozilla non abbia una opzione per cambiare l'user-agent Si puņ fare ma devi modificare a mano prefs.js. -- Ciao, Matteo