diff options
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-10-07 18:08:21 +0200 |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2008-10-08 07:04:44 -0700 |
commit | cced48a808620d60e95a1e51254b135a46ddf719 (patch) | |
tree | a377d8f23f86b27a00f88fc78e2b36e2411e93d0 /t/t4006-diff-mode.sh | |
parent | daf6c2edc21ae1f018ef3829294024fc10756c8c (diff) | |
download | git-cced48a808620d60e95a1e51254b135a46ddf719.tar.gz git-cced48a808620d60e95a1e51254b135a46ddf719.tar.xz |
git rm: refresh index before up-to-date check
Since "git rm" is supposed to be porcelain, we should convince it to
be user friendly by refreshing the index itself.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 't/t4006-diff-mode.sh')
0 files changed, 0 insertions, 0 deletions