eaebc0a56c · Add and apply editorconfig file. · Updated 2020-08-29 13:07:03 -07:00
6da51a0d2b · Very minor changes, refactored some class names, fixed up gitigore, and that's about it. · Updated 2020-09-02 12:14:52 +10: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?