]> git.ipfire.org Git - thirdparty/bootstrap.git/commitdiff
Merge pull request #13700 from twbs/role-menu-all-the-things
authorChris Rebert <github@rebertia.com>
Thu, 29 May 2014 00:21:58 +0000 (17:21 -0700)
committerChris Rebert <github@rebertia.com>
Thu, 29 May 2014 00:21:58 +0000 (17:21 -0700)
add missing role="menu" attrs to .dropdown-menu elements in docs+examples


Trivial merge