889504fdb5 · Added an example input file and documented the format of this file. · Updated 2004-11-23 02:37:02 +00:00
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?