]> git.ipfire.org Git - thirdparty/bootstrap.git/commitdiff
Merge pull request #17704 from twbs/htmllint-travis-only
authorChris Rebert <github@chrisrebert.com>
Fri, 25 Sep 2015 22:57:44 +0000 (15:57 -0700)
committerChris Rebert <github@chrisrebert.com>
Fri, 25 Sep 2015 22:57:44 +0000 (15:57 -0700)
Only run htmllint on Travis


Trivial merge