55199a8c26 · v0.8.1: fix deps · Modificado 2019-10-16 00:55:07 +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?