Changsheng Jiang <jiangzuoyan <at> gmail.com> writes: > > I don't know what version of you git, my git with version 1.5.4.5 > doesn't delete the file file42 after git-reset. All examples from me are version 1.6.0.1.436.g09e16c.dirty or later. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
