Merge branch 'nd/ignore-glob-doc-update' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 22 Mar 2018 21:24:18 +0000 (14:24 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 22 Mar 2018 21:24:18 +0000 (14:24 -0700)
Doc update.

* nd/ignore-glob-doc-update:
gitignore.txt: elaborate shell glob syntax

Trivial merge