f922c674a2 · docs/Makefile: make 'all' generate technical documentation · Updated 2011-08-23 02:05:52 +02: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?