e96c1add75 · package version is now an optional input [closes #1] · Modificado 2020-04-02 08:36:58 +00: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?