diff options
author | Mattias Andrée <maandree@operamail.com> | 2013-10-25 00:09:00 +0200 |
---|---|---|
committer | Mattias Andrée <maandree@operamail.com> | 2013-10-25 00:09:00 +0200 |
commit | 52dad57247c6f0658b69b495cb22e074ab16e6b5 (patch) | |
tree | 0ec9907568246e68177e69622f819ebe883caa09 | |
parent | missing period (diff) | |
download | using-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.texinfo | 2 |
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}. |