diff options
| -rw-r--r-- | documentation/dev-manual/dev-manual-newbie.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/dev-manual-newbie.xml b/documentation/dev-manual/dev-manual-newbie.xml index 6954b9530d..2da101f80c 100644 --- a/documentation/dev-manual/dev-manual-newbie.xml +++ b/documentation/dev-manual/dev-manual-newbie.xml | |||
| @@ -682,7 +682,7 @@ | |||
| 682 | <listitem><para><emphasis><filename>git branch -D <branch-name></filename>:</emphasis> | 682 | <listitem><para><emphasis><filename>git branch -D <branch-name></filename>:</emphasis> |
| 683 | Deletes an existing local branch. | 683 | Deletes an existing local branch. |
| 684 | You need to be in a local branch other than the one you are deleting | 684 | You need to be in a local branch other than the one you are deleting |
| 685 | in order to delete <branch-name>.</para></listitem> | 685 | in order to delete <filename><branch-name></filename>.</para></listitem> |
| 686 | <listitem><para><emphasis><filename>git pull</filename>:</emphasis> Retrieves information | 686 | <listitem><para><emphasis><filename>git pull</filename>:</emphasis> Retrieves information |
| 687 | from an upstream Git | 687 | from an upstream Git |
| 688 | repository and places it in your local Git repository. | 688 | repository and places it in your local Git repository. |