pretty-options.txt: tiny doc fix
commit1c911dc86cd8c504fbad98a75b28cbc92317a0e8
authorJim Meyering <jim@meyering.net>
Tue, 24 Jul 2007 18:59:47 +0000 (24 20:59 +0200)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Jul 2007 07:06:38 +0000 (25 00:06 -0700)
tree3565edd6f1fc710f2ea5b031660551fc2a302560
parentc4eaed49c22366f1994a75179adeac47e7863794
pretty-options.txt: tiny doc fix

Signed-off-by: Jim Meyering <jim@meyering.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/pretty-options.txt