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)
commit0dbd562cc4bea7f51f63e5786b84730d5e6a64a2
tree41c217951fc1d5f90e4549e1cd0b07694f53d7fb
parente6b4a549c3b2189a8cbd154ee0a3dac511061842
parent2e22a85e5c01d041434682fe75f58be94de0801b
Merge branch 'nd/ignore-glob-doc-update'

Doc update.

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