summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--documentation/dev-manual/dev-manual-newbie.xml2
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 &lt;branch-name&gt;</filename>:</emphasis> 682 <listitem><para><emphasis><filename>git branch -D &lt;branch-name&gt;</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 &lt;branch-name&gt;.</para></listitem> 685 in order to delete <filename>&lt;branch-name&gt;</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.