GitIndex: Fix a few comments
commit59d4a159a47945543398599f70d7de2db1e0a7cd
authorPieter de Bie <pdebie@ai.rug.nl>
Sun, 13 Sep 2009 14:14:11 +0000 (13 16:14 +0200)
committerPieter de Bie <pdebie@ai.rug.nl>
Sun, 13 Sep 2009 14:55:40 +0000 (13 16:55 +0200)
tree4bda009b48289cdc4e8f2e5a328a0068fe06ab91
parent029b42c5401a868078271132c49b813928e398ce
GitIndex: Fix a few comments
PBGitIndex.m