17609cd98f · Using boost::regex, because g++ 4.8 doesn't have std::regex · Updated 2016-07-20 11:15:23 -04: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?