Merge branch 'ss/gitmodules-ignore-doc'
authorJunio C Hamano <gitster@pobox.com>
Wed, 26 Apr 2017 06:39:06 +0000 (15:39 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 26 Apr 2017 06:39:06 +0000 (15:39 +0900)
Doc update.

* ss/gitmodules-ignore-doc:
gitmodules: clarify the ignore option values

Trivial merge