?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 3390269) | patch
GitIndex: fix status update when changed file is deleted
commita3f02b290281602609994ceb13a14402de2afac8
authorPieter de Bie <pdebie@ai.rug.nl>
Thu, 1 Oct 2009 19:59:08 +0000 (1 21:59 +0200)
committerPieter de Bie <pdebie@ai.rug.nl>
Thu, 1 Oct 2009 19:59:08 +0000 (1 21:59 +0200)
treebe071d6e4469ca272a44662d3d589b596b51cc1atree | snapshot (tar.gz zip)
parent339026981abb4d4f2b7168b59ec8954381599535commit | diff
GitIndex: fix status update when changed file is deleted

Fixes bug LH#209
PBGitIndex.m diff | blob | blame | history
GitX