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 exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?