twbs/bootstrap — pull request #9373 by ggam (2013-08-12 12:15:21+00:00)
Title: Added button-size mixin

This mixin may seem a bit trivial, but given the concerns on the removal of the (finally restored) btn-mini (#7984, #8644, #8886), I propose this helper mixin that would be of help for new users that need different button sizes. Easier customization is always better.