commit | d25430c5f88c7e7b4ce24c1b08e409f4345c4eb9 | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Wed Nov 28 17:06:57 2007 -0800 |
committer | Junio C Hamano <gitster@pobox.com> | Wed Nov 28 17:06:57 2007 -0800 |
tree | 88de4825ce11d7eaed4719b0b9db1d0e649f9107 | |
parent | b3a4f8586b4ffa6c896cf0afb2ea49d64faf81ad [diff] | |
parent | 38762c47d6442dc0ce0f45533f9151877c485337 [diff] |
Merge branch 'maint' * maint: scripts: do not get confused with HEAD in work tree Improve description of git-branch -d and -D in man page.