]> rtime.felk.cvut.cz Git - git.git/commitdiff
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