diff options
| author | Philippe Blain <levraiphilippeblain@gmail.com> | 2020-07-09 02:16:46 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-07-08 22:08:54 -0700 |
| commit | 6001a1d5e3732cb63438ce2c7852773d3c0eab9a (patch) | |
| tree | c6c45eb50964375fc6e2d4e59ad6c1e942adac10 /Documentation/git-rev-list.txt | |
| parent | 8560723266f2cb49faf42710c7c380af8d7c0ffd (diff) | |
| download | git-6001a1d5e3732cb63438ce2c7852773d3c0eab9a.tar.gz | |
git-rev-list.txt: tweak wording in set operations
Tweak a sentence to make it a little more readable.
Signed-off-by: Philippe Blain <levraiphilippeblain@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-rev-list.txt')
| -rw-r--r-- | Documentation/git-rev-list.txt | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Documentation/git-rev-list.txt b/Documentation/git-rev-list.txt index aa95334a79..f2b83df2fa 100644 --- a/Documentation/git-rev-list.txt +++ b/Documentation/git-rev-list.txt @@ -19,12 +19,12 @@ given commit(s), but exclude commits that are reachable from the one(s) given with a '{caret}' in front of them. The output is given in reverse chronological order by default. -You can think of this as a set operation. Commits given on the command -line form a set of commits that are reachable from any of them, and then -commits reachable from any of the ones given with '{caret}' in front are -subtracted from that set. The remaining commits are what comes out in the -command's output. Various other options and paths parameters can be used -to further limit the result. +You can think of this as a set operation. Commits reachable from any of +the commits given on the command line form a set, and then commits reachable +from any of the ones given with '{caret}' in front are subtracted from that +set. The remaining commits are what comes out in the command's output. +Various other options and paths parameters can be used to further limit the +result. Thus, the following command: |