diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-04-25 14:28:33 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-04-26 12:28:42 +0900 |
| commit | cb5206eab196544a3b271afdff9865c103e6dbce (patch) | |
| tree | 491641b34dfb4b6708446d016bcfdd879c2a0b29 /git-gui/lib/diff.tcl | |
| parent | a01c2a5f59cc0f28daeab33355ae4a45490ce7e6 (diff) | |
sequencer: offer helpful advice when a command was rescheduled
Previously, we did that just magically, and potentially left some users
quite puzzled. Let's err on the safe side instead, telling the user what
is happening, and how they are supposed to continue.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/lib/diff.tcl')
0 files changed, 0 insertions, 0 deletions