Merge branch 'js/maint-no-cherry-pick-head-after-punted' into js/no-cherry-pick-head-after-punted
authorJunio C Hamano <gitster@pobox.com>
Fri, 7 Oct 2011 00:02:11 +0000 (17:02 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 7 Oct 2011 00:02:11 +0000 (17:02 -0700)
commit278f7e6...6dc1b515f192daf836fe75d733435774
tree8e8f5b6...3e47929f4e44d8c963bfa34ff4b026a6copy hash to clipboard (tree)
parent7f41b6b...e3181dc4d1687db036bf22316997a1bfcopy hash to clipboard (diff)
parent82352cb...33f30fef9dd837235c328890da12930ecopy hash to clipboard (diff)
builtin/revert.c