Merge branch 'ma/diff-doc-clarify-regexp-example'
authorJunio C Hamano <redacted>
Wed, 12 Feb 2020 20:41:38 +0000 (12:41 -0800)
committerJunio C Hamano <redacted>
Wed, 12 Feb 2020 20:41:38 +0000 (12:41 -0800)
Doc clarification.

* ma/diff-doc-clarify-regexp-example:
  diff-options.txt: avoid "regex" overload in example


Trivial merge
git clone https://git.99rst.org/PROJECT