Merge branch 'jk/grep-double-dash'
authorJunio C Hamano <gitster@pobox.com>
Sat, 13 Feb 2010 23:09:33 +0000 (15:09 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sat, 13 Feb 2010 23:09:33 +0000 (15:09 -0800)
* jk/grep-double-dash:
  accept "git grep -- pattern"


Trivial merge