f376aedaee · Merge pull request 'Red-black tree' (#5) from Chewing_Bever/libvieter:red-black-tree into dev · Updated 2023-03-07 12:08:49 +01:00
11709cc611 · refactor: slightly change api · Updated 2023-01-18 14:14:39 +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?