]> asedeno.scripts.mit.edu Git - git.git/commitdiff
Merge branch 'jn/cherry-pick-refresh-index'
authorJunio C Hamano <gitster@pobox.com>
Tue, 30 Nov 2010 01:52:34 +0000 (17:52 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 30 Nov 2010 01:52:34 +0000 (17:52 -0800)
* jn/cherry-pick-refresh-index:
  cherry-pick/revert: transparently refresh index

1  2 
builtin/revert.c

Simple merge