doc: fix minor typos (extra/duplicated words)
authorEvan Zacks <zackse@gmail.com>
Tue, 12 Sep 2017 22:58:39 +0000 (15:58 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 14 Sep 2017 06:09:02 +0000 (15:09 +0900)
Following are several fixes for duplicated words ("of of") and one
case where an extra article ("a") slipped in.

Signed-off-by: Evan Zacks <zackse@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found