0210c56e76 · Add options_ghc · Actualizado 2020-01-14 23:00:00 +00:00
Eliminar una rama es permanente. Aunque la rama eliminada puede continuar existiendo durante un corto tiempo antes de que sea eliminada, en la mayoría de los casos NO PUEDE deshacerse. ¿Continuar?