documenation: dev-manual - formatting fix.

(From yocto-docs rev: 24e653c02278d7a3d935104296f54cf9fff9ce12)

Signed-off-by: Scott Rifenbark <scott.m.rifenbark@intel.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
This commit is contained in:
Scott Rifenbark authored and Richard Purdie committed 2012-10-01 23:30:29 +01:00
1 parent 8606f28cb4
commit 6bf96aa1f9
1 file changed
+1 -1
@@ -682,7 +682,7 @@
<listitem><para><emphasis><filename>git branch -D &lt;branch-name&gt;</filename>:</emphasis>
Deletes an existing local branch.
You need to be in a local branch other than the one you are deleting
in order to delete &lt;branch-name&gt;.</para></listitem>
in order to delete <filename>&lt;branch-name&gt;</filename>.</para></listitem>
<listitem><para><emphasis><filename>git pull</filename>:</emphasis> Retrieves information
from an upstream Git
repository and places it in your local Git repository.