Merge branch 'ah/doc-submodule-ignore-submodules'
authorJunio C Hamano <gitster@pobox.com>
Mon, 7 Oct 2019 02:33:00 +0000 (11:33 +0900)
committerJunio C Hamano <gitster@pobox.com>
Mon, 7 Oct 2019 02:33:00 +0000 (11:33 +0900)
commit583cf6232a405e2535ad6a393b53387b290322c6
tree1139500e9cc876c79f8e3338e87dd3a5c15fed79
parent337e3f2b49a954d1c3279fe71990cac8a4dfd447
parent0d4304c124f6aef929f8f48c11dbbd071e9eaf59
Merge branch 'ah/doc-submodule-ignore-submodules'

Docfix.

* ah/doc-submodule-ignore-submodules:
  doc: fix reference to --ignore-submodules
Documentation/gitmodules.txt