Merge branch 'nd/ignore-glob-doc-update'
authorJunio C Hamano <gitster@pobox.com>
Thu, 15 Feb 2018 22:55:46 +0000 (14:55 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 15 Feb 2018 22:55:46 +0000 (14:55 -0800)
Doc update.

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

Trivial merge