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 /Documentation/tutorial.txt | |
parent | 8e4a91bd780b89c7337f281a8601f2e0cae108fc (diff) | |
download | git-82576ddb70d0a2ed88fa3fee2f4ad05ab5b77401.tar.gz git-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 'Documentation/tutorial.txt')
0 files changed, 0 insertions, 0 deletions