On Thu, 2011-11-17 at 12:35 +0100, PaulTT wrote: > rm -rf e rilanciare il make e' piu' veloce e sicuro, imho ;P ne l'uno ne l'altro in realtà ma fallo se preferisci > cmq grazie, puo' tornare utile per cose dove c'e' piu' interesse a > sapere e mantere modifiche no prob