delete repository from index when deleting it
authorChristian Weiske <cweiske@cweiske.de>
Tue, 5 Jun 2012 09:55:51 +0000 (11:55 +0200)
committerChristian Weiske <cweiske@cweiske.de>
Tue, 5 Jun 2012 09:55:51 +0000 (11:55 +0200)
commit7b5ff7ebcf433777e1418c0ab0e4ab26ce3a1e63
treed261719476733f2291bdd4e77c636c303d0ce41f
parentb5edcdd146332cab496e253251ed0460fb9bdd5c
delete repository from index when deleting it
src/phorkie/Repository.php