diff options
author | Kristoffer Haugsbakk <kristoffer.haugsbakk@gmail.com> | 2016-12-09 18:51:12 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-12-10 02:14:01 +0300 |
commit | 47437fd3bd83683a82bcd2599f924ed2b988fa55 (patch) | |
tree | 3a4d8b26749ed90acf2448e0b0ebdc20d96d11b2 /Documentation/gitcore-tutorial.txt | |
parent | c857c3a1ceeeb31cfb90606e1d412f838f4a653d (diff) |
doc: omit needless "for"
What was intended was perhaps "... plumbing does for you" ("you" added), but
simply omitting the word "for" is more terse and gets the intended point across
just as well, if not more so.
I originally went with the approach of writing "for you", but Junio C
Hamano suggested this approach instead.
Signed-off-by: Kristoffer Haugsbakk <kristoffer.haugsbakk@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/gitcore-tutorial.txt')
-rw-r--r-- | Documentation/gitcore-tutorial.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/gitcore-tutorial.txt b/Documentation/gitcore-tutorial.txt index 72ca9c1ef1..22309cfb48 100644 --- a/Documentation/gitcore-tutorial.txt +++ b/Documentation/gitcore-tutorial.txt @@ -25,7 +25,7 @@ you want to understand Git's internals. The core Git is often called "plumbing", with the prettier user interfaces on top of it called "porcelain". You may not want to use the plumbing directly very often, but it can be good to know what the -plumbing does for when the porcelain isn't flushing. +plumbing does when the porcelain isn't flushing. Back when this document was originally written, many porcelain commands were shell scripts. For simplicity, it still uses them as |