1cee0d900a · Correctness without cycles tested. · Aktualisiert 2023-03-16 15:52:22 +01:00
Das Löschen eines Branches ist permanent. Obwohl der Branch für eine kurze Zeit weiter existieren könnte, kann diese Aktion in den meisten Fällen NICHT rückgängig gemacht werden. Fortfahren?