aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMattias Andrée <maandree@operamail.com>2013-10-25 00:09:00 +0200
committerMattias Andrée <maandree@operamail.com>2013-10-25 00:09:00 +0200
commit52dad57247c6f0658b69b495cb22e074ab16e6b5 (patch)
tree0ec9907568246e68177e69622f819ebe883caa09
parentmissing period (diff)
downloadusing-git-52dad57247c6f0658b69b495cb22e074ab16e6b5.tar.gz
using-git-52dad57247c6f0658b69b495cb22e074ab16e6b5.tar.bz2
using-git-52dad57247c6f0658b69b495cb22e074ab16e6b5.tar.xz
stylo
Signed-off-by: Mattias Andrée <maandree@operamail.com>
-rw-r--r--using-git.texinfo2
1 files changed, 1 insertions, 1 deletions
diff --git a/using-git.texinfo b/using-git.texinfo
index c1e4c40..1f8b756 100644
--- a/using-git.texinfo
+++ b/using-git.texinfo
@@ -288,7 +288,7 @@ git push -u orgin master # master is the branch you are working in
It is standard to append @file{.git} to the
end of the repository name when it is bare.
-To submit your changes to origin you can now
+To submit your changes to `origin' you can now
use the command @command{git push}. To fetch
updates others have made, use the command
@command{git pull}.