Commit 447ae791e564ed887fb4abe752f38a1a9ada1267

Carlos Martín Nieto 2013-03-03T15:19:21

indexer: kill git_indexer This was the first implementation and its goal was simply to have something that worked. It is slow and now it's just taking up space. Remove it and switch the one known usage to use the streaming indexer.