Merge branch 'jc/maint-diff-quiet' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 19 Sep 2008 02:53:12 +0000 (19:53 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 19 Sep 2008 02:53:12 +0000 (19:53 -0700)
commit01409bbf75198289591ba9dfe2c8d2370b36a058
tree832ca39c35759bfc0654dfef58e8f7b88c74d59b
parenta3fcc0562cda47f6109e81e456fb6177d7057117
parentdf58a8274d6865020682a6739bc59b87a9761991
Merge branch 'jc/maint-diff-quiet' into maint

* jc/maint-diff-quiet:
  diff --quiet: make it synonym to --exit-code >/dev/null
  diff Porcelain: do not disable auto index refreshing on -C -C
diff.c