Merge branch 'jc/maint-diff-quiet'
authorJunio C Hamano <gitster@pobox.com>
Tue, 16 Sep 2008 07:48:16 +0000 (00:48 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 16 Sep 2008 07:48:16 +0000 (00:48 -0700)
commit8e909f80b41d1a14adede05b4a31f2f2caa56e55
treeb050305f0219db93ac8ed862a4ec24eb517f0173
parent27551baa3eddc4111ceee13dc05850ae80c99a3e
parentdf58a8274d6865020682a6739bc59b87a9761991
Merge branch 'jc/maint-diff-quiet'

* 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