Merge branch 'nd/ignore-glob-doc-update' into next
authorJunio C Hamano <gitster@pobox.com>
Thu, 8 Feb 2018 23:08:30 +0000 (15:08 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 8 Feb 2018 23:08:30 +0000 (15:08 -0800)
Doc update.

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

Trivial merge