]> git.ipfire.org Git - thirdparty/bootstrap.git/commitdiff
Merge pull request #12969 from ZDroid/badge-mixin
authorMark Otto <markdotto@gmail.com>
Fri, 7 Mar 2014 22:41:55 +0000 (14:41 -0800)
committerMark Otto <markdotto@gmail.com>
Fri, 7 Mar 2014 22:41:55 +0000 (14:41 -0800)
Improve badges mixinability


Trivial merge