Merge branch 'dl/ignore-docs'
authorJunio C Hamano <gitster@pobox.com>
Tue, 9 Apr 2019 17:14:22 +0000 (02:14 +0900)
committerJunio C Hamano <gitster@pobox.com>
Tue, 9 Apr 2019 17:14:22 +0000 (02:14 +0900)
Doc update.

* dl/ignore-docs:
docs: move core.excludesFile from git-add to gitignore
git-clean.txt: clarify ignore pattern files

Trivial merge