794023bdec · chg: Bump deps, lists · Updated 2023-08-21 14:25:17 +02:00
0f229b8521 · Added search for regex algorithm · Updated 2018-01-21 00:15:13 +01: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?