Andrew's git / gitweb.git / diff
?
Merge branch 'jk/maint-pull-dry-run-noop' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 21 Jun 2010 12:40:33 +0000 (05:40 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 21 Jun 2010 12:40:33 +0000 (05:40 -0700)
* jk/maint-pull-dry-run-noop:
pull: do nothing on --dry-run

Trivial merge