a4274fa1d8 · Move files to fit build system · Updated 2017-11-22 10:23:34 +08: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?