Browse Source
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>maint
Johannes Schindelin
17 years ago
committed by
Shawn O. Pearce
2 changed files with 18 additions and 8 deletions
Loading…
Reference in new issue