Remove duplicated "is a"
commit4c007ae8351a0a2beba57e2930ed21aed141e51e
authorJoão Britto <jabcalves@gmail.com>
Fri, 6 May 2011 04:16:17 +0000 (6 01:16 -0300)
committerJunio C Hamano <gitster@pobox.com>
Fri, 6 May 2011 05:14:15 +0000 (5 22:14 -0700)
treeaebc73749e3967facc6a043dca1a84bae2567334
parent8fe6177ac640ca36814ad3394d4e86b4ce8e29e3
Remove duplicated "is a"

Signed-off-by: João Britto <jabcalves@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/diff-options.txt