revert: rename --reset option to --quit
authorJonathan Nieder <jrnieder@gmail.com>
Tue, 22 Nov 2011 11:14:29 +0000 (05:14 -0600)
committerJunio C Hamano <gitster@pobox.com>
Tue, 22 Nov 2011 21:30:35 +0000 (13:30 -0800)
commitf80a872...2aa4468b0941d38deffdb97a757307c5
tree07857c7...b1f77a8c6eff2a786fb2386e43873021copy hash to clipboard (tree)
parent0f64a5a...a25c9a161c4e70ae031c885a6284ddb8copy hash to clipboard (diff)
Documentation/git-cherry-pick.txt
Documentation/git-revert.txt
Documentation/sequencer.txt
builtin/revert.c
sequencer.h
t/t3510-cherry-pick-sequence.sh
t/t7106-reset-sequence.sh