SoftwareIntrospectionLab/MininGit — pull request #156 by carlsonp (2012-03-22 15:19:17+00:00)
Title: Miningit rename

This seems to fix the build system.