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)
Docfix.

* ah/doc-submodule-ignore-submodules:
  doc: fix reference to --ignore-submodules

1  2 
Documentation/gitmodules.txt

Simple merge