GitIndex: add commit notifications
commit4192d6a03f08fa347d4600071eb08042cca594a5
authorPieter de Bie <pdebie@ai.rug.nl>
Sun, 13 Sep 2009 01:37:30 +0000 (13 03:37 +0200)
committerPieter de Bie <pdebie@ai.rug.nl>
Sun, 13 Sep 2009 14:55:39 +0000 (13 16:55 +0200)
tree5a37304cf0cf578e45e4498721759a7effa24502
parentc6d2b61020455875fabe45a6f7e97d369e916858
GitIndex: add commit notifications
PBGitCommitController.m
PBGitIndex.h
PBGitIndex.m