e7e37b4360 · take care of aliases and rather use air for unkown nodes than crashing · Updated 2019-11-06 06:56:19 -08: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?