buttonmen-dev/buttonmen — pull request #986 by cgolubi1 (2014-06-16 23:49:10+00:00)
Title: * replace "ButtonMen" with "Button Men" globally

* Fixes #964
* Jenkins: http://jenkins.buttonweavers.com:8080/job/buttonmen-cgolubi1/262/