diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-07-08 21:32:22 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2007-07-08 18:24:19 -0700 |
| commit | 82576ddb70d0a2ed88fa3fee2f4ad05ab5b77401 (patch) | |
| tree | 7e83b5619ae56c9a52f3636bf921431839d6d3d4 /base85.c | |
| parent | rebase -i: remember the settings of -v, -s and -p when interrupted (diff) | |
| download | tgif-82576ddb70d0a2ed88fa3fee2f4ad05ab5b77401.tar.xz | |
rebase -i: put a nice warning into the todo list
It seems that not everybody expects a difference between keeping a "pick"
line, and deleting it. So be a bit more explicit about that, with all
capitals to get the attention.
Noticed by vmiklos on IRC.
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'base85.c')
0 files changed, 0 insertions, 0 deletions