diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-09-21 13:37:22 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-09-21 13:37:22 +0200 |
| commit | cfce3a9914c4a7762399119fabc63c77f567d7cf (patch) | |
| tree | 0dc2904ceec7d2a951d2e3d0b4180ea97a41ba5f /doc/man/git-bug.1 | |
| parent | 1c86a66cbe0f4871dd40b8352c1f1b2de97e8442 (diff) | |
| download | git-bug-cfce3a9914c4a7762399119fabc63c77f567d7cf.tar.gz | |
commands: description cleanup
Diffstat (limited to 'doc/man/git-bug.1')
| -rw-r--r-- | doc/man/git-bug.1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/man/git-bug.1 b/doc/man/git-bug.1 index ae56f4a2..45435773 100644 --- a/doc/man/git-bug.1 +++ b/doc/man/git-bug.1 @@ -5,7 +5,7 @@ .SH NAME .PP -git\-bug \- A bugtracker embedded in Git +git\-bug \- A bug tracker embedded in Git .SH SYNOPSIS @@ -15,7 +15,7 @@ git\-bug \- A bugtracker embedded in Git .SH DESCRIPTION .PP -git\-bug is a bugtracker embedded in git. +git\-bug is a bug tracker embedded in git. .PP It use the same internal storage so it doesn't pollute your project. As you would do with commits and branches, you can push your bugs to the same git remote your are already using to collaborate with other peoples. |