8fad70a675 · Change to short version of my name in LICENCE · Modificado 2020-10-07 18:08:18 +02:00
Eliminar um ramo é algo permanente. Embora o ramo eliminado possa continuar a existir por um breve período de tempo antes de ser realmente removido, a operação NÃO PODERÁ ser desfeita na maioria dos casos. Quer continuar?