Merge branch 'es/doc-gitsubmodules-markup'
authorJunio C Hamano <gitster@pobox.com>
Thu, 30 May 2019 17:50:46 +0000 (10:50 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 30 May 2019 17:50:46 +0000 (10:50 -0700)
Doc markup fix.

* es/doc-gitsubmodules-markup:
gitsubmodules: align html and nroff lists

Trivial merge