213d63733b · git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@9326 35acf78f-673a-0410-8e92-d51de3d6d3f4 · Updated 2016-04-20 10:39:03 +00: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?