On Mon, May 10, 2004 at 11:08:21AM +0200, Andrea D'Agostino wrote: [...] > PS: Claudio, diff lo uso quasi tutti i giorni! Diff non è sdiff :-) Comunque ok per la tua decisione. ;) - Claudio