3edb5ad123 · Pulled in the missing headers. · Aggiornato 2014-02-22 19:55:47 +01:00
L'eliminazione di un ramo è definitiva. Nonostante il ramo eliminato potrebbe continuare ad esistere per un breve periodo di tempo prima di essere realmente eliminato, l'eliminazione NON PUÒ essere annullata in molti casi. Continuare?