joshkh/multimine-search-tool — pull request #1 by alexkalderimis (2014-05-17 15:49:44+00:00)
Title: Some further refactoring and simplification

Adds: