projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 68a40e5 e8dff6b)
Merge branch 'master' into next
authorJunio C Hamano <junkio@cox.net>
Wed, 7 Jun 2006 05:36:10 +0000 (22:36 -0700)
committerJunio C Hamano <junkio@cox.net>
Wed, 7 Jun 2006 05:36:10 +0000 (22:36 -0700)
* master:
  http-fetch: fix possible segfault
  Refactor git_tcp_connect() functions a little.
  builtin-grep: pass ignore case option to external grep


Trivial merge
The core git plumbing