[PLUTO-help] Re: un consiglio urgente: va bene diff o c'è di meglio?

[Paolo Ornati]

On Sat, 13 Sep 2008 12:02:13 +0200
Paolo Ornati <ornati a fastwebnet.it> wrote:

> Questo script stampa i nomi dei file identici:

NOTA: due file identici in directory diverse NON sono considerati
identici

-- 
	Paolo Ornati
	Linux 2.6.26.3 on x86_64