Merge branch 'pb/submodule-doc-xref'
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Dec 2019 19:21:59 +0000 (11:21 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Dec 2019 19:21:59 +0000 (11:21 -0800)
commitfcd5b55f56ccbc7e1a34073dd2d645637b5e6801
tree698618e3302732fe310e7c1103639b5e5593c3d5
parent4bfc9ccfb6917805a4e1605bad359270172d145b
parentcc2bd5c45d33211fb77ed649cbc0541a8b541263
Merge branch 'pb/submodule-doc-xref'

Doc update.

* pb/submodule-doc-xref:
  gitmodules: link to gitsubmodules guide
Documentation/gitmodules.txt