diff options
Diffstat (limited to 'third_party/git/git-rebase--preserve-merges.sh')
| -rw-r--r-- | third_party/git/git-rebase--preserve-merges.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/third_party/git/git-rebase--preserve-merges.sh b/third_party/git/git-rebase--preserve-merges.sh index dec90e9af677..b9c71d2a71bd 100644 --- a/third_party/git/git-rebase--preserve-merges.sh +++ b/third_party/git/git-rebase--preserve-merges.sh @@ -193,16 +193,6 @@ mark_action_done () { fi } -# Put the last action marked done at the beginning of the todo list -# again. If there has not been an action marked done yet, leave the list of -# items on the todo list unchanged. -reschedule_last_action () { - tail -n 1 "$done" | cat - "$todo" >"$todo".new - sed -e \$d <"$done" >"$done".new - mv -f "$todo".new "$todo" - mv -f "$done".new "$done" -} - append_todo_help () { gettext " Commands: |