caca371fe1 · Merge branch 'master' of ssh://kauron.ddns.net:3210/kauron-MITSS/MFC · Updated 2018-11-12 18:53:59 +01:00
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?