bc8ffae08c · Fix path trimming and line break · Updated 2018-10-15 19:58:49 +02:00
a643cc3801 · Add Mímir to Ports section in the readme (#438) · Updated 2018-10-15 22:14:11 +07: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?