8361fa3d33 · Replaced non-expanding tilde with $HOME · Updated 4 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?