Merge branch 'as/diff-options-grammofix'
authorJunio C Hamano <gitster@pobox.com>
Fri, 4 Aug 2017 16:29:14 +0000 (09:29 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 4 Aug 2017 16:29:14 +0000 (09:29 -0700)
commitddd1133c5e1c549ff9b73c6aafc16460dcf3570e
tree489bf58846f6304564d0f3028a1f67dc36a7f098
parent384a8b271c076693d00c97184b5c41ab3a95e64d
parentbc9b7e207f4bca81bd6aa46a078aa9f87017dc06
Merge branch 'as/diff-options-grammofix'

A grammofix.

* as/diff-options-grammofix:
  diff-options doc: grammar fix