[PATCH 07/11] Improve section Manipulating branches

Add some missing punctuation. Simplify description of git branch -d/-D. Signed-off-by: Thomas Ackermann th.ac...@arcor.de --- Documentation/user-manual.txt | 20 1 file changed, 8 insertions(+), 12 deletions(-) diff --git a/Documentation/user-manual.txt

Re: [PATCH 07/11] Improve section Manipulating branches

Thomas Ackermann th.ac...@arcor.de writes: `git branch -d branch`:: - delete the branch `branch`; if the branch you are deleting - points to a commit which is not reachable from the current - branch, this command will fail with a warning. + delete the branch `branch`; if the