Andrew's git / gitweb.git / diff
?
Merge branch 'rd/diff-options-typofix'
authorJunio C Hamano <gitster@pobox.com>
Mon, 18 Jun 2018 17:18:41 +0000 (10:18 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 18 Jun 2018 17:18:41 +0000 (10:18 -0700)
Typofix.

* rd/diff-options-typofix:
diff-options.txt: fix minor typos, font inconsistencies, in docs

1  2 
Documentation/diff-options.txt patch | diff1 | diff2 | blob | history
diff --cc Documentation/diff-options.txt
Simple merge