git.rst
changeset 2253 6bb039213d89
parent 2251 841872ee6d85
child 2262 bb7e7ae562c2
--- a/git.rst	Thu Jun 21 13:45:31 2018 +0300
+++ b/git.rst	Sun Jun 24 02:05:27 2018 +0300
@@ -222,7 +222,7 @@
 
   $ git branch -d $NAME
 
-Delete remote branch remotely::
+Delete remote branch::
 
   $ git push --delete $REMOTE $BRANCH_NAME
   $ git push -d $REMOTE $BRANCH_NAME