Andrew's git / gitweb.git / diff
?
Merge branch 'mg/doc-check-ignore-tracked-are-not-ignored'
authorJunio C Hamano <gitster@pobox.com>
Mon, 22 Dec 2014 20:27:22 +0000 (12:27 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 22 Dec 2014 20:27:22 +0000 (12:27 -0800)
* mg/doc-check-ignore-tracked-are-not-ignored:
check-ignore: clarify treatment of tracked files

Trivial merge