]> git.ipfire.org Git - thirdparty/bootstrap.git/commitdiff
Merge pull request #12295 from ZDroid/types
authorChris Rebert <github@rebertia.com>
Sun, 19 Jan 2014 23:43:52 +0000 (15:43 -0800)
committerChris Rebert <github@rebertia.com>
Sun, 19 Jan 2014 23:43:52 +0000 (15:43 -0800)
Improve grunt config and vars


Trivial merge