diff options
| author | Junio C Hamano <gitster@pobox.com> | 2009-08-12 16:36:04 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-08-12 16:36:04 -0700 |
| commit | 6ffd781226f04629eff63a684b47ad7555143312 (patch) | |
| tree | e41ea02c886afd117f51b257d57f84043e447efd /Documentation/git-rev-list.txt | |
| parent | 19a7fcbf16276321f83e0c1748b3935a2ea42675 (diff) | |
| parent | 2cd9c2aff0d65bbce704a68d9cbe7a17e02257fe (diff) | |
| download | git-6ffd781226f04629eff63a684b47ad7555143312.tar.gz | |
Merge branch 'maint'
* maint:
push: point to 'git pull' and 'git push --force' in case of non-fast forward
Documentation: add: <filepattern>... is optional
Change mentions of "git programs" to "git commands"
Documentation: merge: one <remote> is required
help.c: give correct structure's size to memset()
Diffstat (limited to 'Documentation/git-rev-list.txt')
| -rw-r--r-- | Documentation/git-rev-list.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-rev-list.txt b/Documentation/git-rev-list.txt index bf98c8449c..3341d1b62f 100644 --- a/Documentation/git-rev-list.txt +++ b/Documentation/git-rev-list.txt @@ -90,7 +90,7 @@ between the two operands. The following two commands are equivalent: $ git rev-list A...B ----------------------------------------------------------------------- -'git-rev-list' is a very essential git program, since it +'rev-list' is a very essential git command, since it provides the ability to build and traverse commit ancestry graphs. For this reason, it has a lot of different options that enables it to be used by commands as different as 'git-bisect' and |