Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
user-manual: fix typolets.
author
Junio C Hamano
<gitster@pobox.com>
Tue, 24 Jul 2007 08:58:51 +0000
(
01:58
-0700)
committer
Junio C Hamano
<gitster@pobox.com>
Tue, 24 Jul 2007 08:58:56 +0000
(
01:58
-0700)
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/user-manual.txt
patch
|
blob
|
history
raw
|
patch
|
inline
| side by side (parent:
1cffddd
)
diff --git
a/Documentation/user-manual.txt
b/Documentation/user-manual.txt
index 14825c64119fd75a138060d4bd6e2ae6fe03a88a..0071cd070e90a5b2337d9558d43b3483829c3bee 100644
(file)
--- a/
Documentation/user-manual.txt
+++ b/
Documentation/user-manual.txt
@@
-449,7
+449,7
@@
Exploring git history
Git is best thought of as a tool for storing the history of a
collection of files. It does this by storing compressed snapshots of
Git is best thought of as a tool for storing the history of a
collection of files. It does this by storing compressed snapshots of
-the contents of a file h
ei
rarchy, together with "commits" which show
+the contents of a file h
ie
rarchy, together with "commits" which show
the relationships between these snapshots.
Git provides extremely flexible and fast tools for exploring the
the relationships between these snapshots.
Git provides extremely flexible and fast tools for exploring the
@@
-1070,7
+1070,7
@@
about to commit:
-------------------------------------------------
$ git diff --cached # difference between HEAD and the index; what
-------------------------------------------------
$ git diff --cached # difference between HEAD and the index; what
- # would be commited if you ran "commit" now.
+ # would be commit
t
ed if you ran "commit" now.
$ git diff # difference between the index file and your
# working directory; changes that would not
# be included if you ran "commit" now.
$ git diff # difference between the index file and your
# working directory; changes that would not
# be included if you ran "commit" now.
@@
-1257,7
+1257,7
@@
index 802992c,2b60207..0000000
++>>>>>>> 77976da35a11db4580b80ae27e8d65caf5208086:file.txt
-------------------------------------------------
++>>>>>>> 77976da35a11db4580b80ae27e8d65caf5208086:file.txt
-------------------------------------------------
-Recall that the commit which will be commited after we resolve this
+Recall that the commit which will be commit
t
ed after we resolve this
conflict will have two parents instead of the usual one: one parent
will be HEAD, the tip of the current branch; the other will be the
tip of the other branch, which is stored temporarily in MERGE_HEAD.
conflict will have two parents instead of the usual one: one parent
will be HEAD, the tip of the current branch; the other will be the
tip of the other branch, which is stored temporarily in MERGE_HEAD.
@@
-1351,7
+1351,7
@@
away, you can always return to the pre-merge state with
$ git reset --hard HEAD
-------------------------------------------------
$ git reset --hard HEAD
-------------------------------------------------
-Or, if you've already commited the merge that you want to throw away,
+Or, if you've already commit
t
ed the merge that you want to throw away,
-------------------------------------------------
$ git reset --hard ORIG_HEAD
-------------------------------------------------
$ git reset --hard ORIG_HEAD