6c7a5f2278 · corrections pour que ca compile bien en pdf · Updated 2018-01-29 00:25:11 +00:00
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?