Merge branch 'js/grep-patterntype-config'
authorJunio C Hamano <gitster@pobox.com>
Mon, 27 Aug 2012 18:55:09 +0000 (11:55 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 27 Aug 2012 18:55:09 +0000 (11:55 -0700)
commit445d2c51a4b6883d6a7b14228d5de0bb22a09d8e
tree832cd35c548026a9500e075f994902b683b2fb20
parent2df9988470d8f1ad82a642eb6d5b2ddde1512bc0
parent84befcd0a4a074e2ae191c32be09d2e82d5db114
Merge branch 'js/grep-patterntype-config'

"grep" learned to use a non-standard pattern type by default if a
configuration variable tells it to.

* js/grep-patterntype-config:
  grep: add a grep.patternType configuration setting
Documentation/config.txt
t/t7810-grep.sh