diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-07-08 20:32:22 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-07-09 01:24:19 (GMT) |
| commit | 82576ddb70d0a2ed88fa3fee2f4ad05ab5b77401 (patch) | |
| tree | 7e83b5619ae56c9a52f3636bf921431839d6d3d4 /Documentation/user-manual.txt | |
| parent | 8e4a91bd780b89c7337f281a8601f2e0cae108fc (diff) | |
| download | git-82576ddb70d0a2ed88fa3fee2f4ad05ab5b77401.zip git-82576ddb70d0a2ed88fa3fee2f4ad05ab5b77401.tar.gz git-82576ddb70d0a2ed88fa3fee2f4ad05ab5b77401.tar.bz2 | |
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 'Documentation/user-manual.txt')
0 files changed, 0 insertions, 0 deletions