revert: Rename no_replay to record_origin
authorRamkumar Ramachandra <artagnon@gmail.com>
Thu, 4 Aug 2011 10:39:03 +0000 (16:09 +0530)
committerJunio C Hamano <gitster@pobox.com>
Thu, 4 Aug 2011 22:40:42 +0000 (15:40 -0700)
commit54decbd...d858f21e2c31601f91675700c7093b1f
tree367ad53...b4e148461d2e86f5a2d09b3c5fc6e51bcopy hash to clipboard (tree)
parenta2ec3ad...8f4608bc848feaa3d087632e44842dbfcopy hash to clipboard (diff)
builtin/revert.c