Merge branch 'jk/grep-double-dash' into maint
commit031f82f75124dc96e3bebf8fa0b15eddf5544012
authorJunio C Hamano <gitster@pobox.com>
Wed, 17 Feb 2010 22:55:15 +0000 (17 14:55 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 17 Feb 2010 22:55:15 +0000 (17 14:55 -0800)
tree294a13008dd8a12588453825ed2266be645b1ddd
parent07cb9a369e12633e1e43e0acded32885592a455c
parent1123c67ceee2f310b08ab5d67b076ef04ab59bfc
Merge branch 'jk/grep-double-dash' into maint

* jk/grep-double-dash:
  accept "git grep -- pattern"
builtin-grep.c