0210c56e76 · Add options_ghc · Aktualisiert 2020-01-14 23:00:00 +00: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?