buttonmen-dev/buttonmen — pull request #580 by cgolubi1 (2014-02-23 21:39:52+00:00)
Title: UI for deciding whether to use auxiliary dice

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