743ae063dc · switch to bwrap, add skipsetup, don't hardcode 'user' · Modificado 2023-05-07 16:48:23 +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?