projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d33c875) | patch
diff-options.txt: fix minor typos, font inconsistencies, in docs
authorRobert P. J. Day <rpjday@crashcourse.ca>
Mon, 11 Jun 2018 13:56:13 +0000 (09:56 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 11 Jun 2018 20:11:09 +0000 (13:11 -0700)
commit7eedad15df615e1a2e34cb76920d5c60e9f8d8dd
tree04d0bb586cc2a31c3350c6dd69f65fec95304767tree | snapshot
parentd33c87517a85f544159b2efa406136dde18a5b9fcommit | diff
diff-options.txt: fix minor typos, font inconsistencies, in docs

Signed-off-by: Robert P. J. Day <rpjday@crashcourse.ca>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/diff-options.txt diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.