]> git.ipfire.org Git - thirdparty/bootstrap.git/commitdiff
Merge pull request #13167 from ZDroid/underscore
authorChris Rebert <github@rebertia.com>
Tue, 25 Mar 2014 01:59:39 +0000 (18:59 -0700)
committerChris Rebert <github@rebertia.com>
Tue, 25 Mar 2014 01:59:39 +0000 (18:59 -0700)
Fix #13138: use underscore prefix to ignore directories


Trivial merge