From aa9c187ac88233fb338237b10b94563f4184387f Mon Sep 17 00:00:00 2001
From: Chris Hallberg <crhallberg@gmail.com>
Date: Wed, 8 Oct 2014 11:04:45 -0400
Subject: [PATCH] Deactivate Bootlint by default, sneaky little js...

---
 themes/bootstrap3/theme.config.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/themes/bootstrap3/theme.config.php b/themes/bootstrap3/theme.config.php
index ff24779caf6..00936556d72 100644
--- a/themes/bootstrap3/theme.config.php
+++ b/themes/bootstrap3/theme.config.php
@@ -14,7 +14,7 @@ return array(
         'vendor/jquery.min.js',
         'vendor/bootstrap.min.js',
         'vendor/bootstrap-accessibility.min.js',
-        'vendor/bootlint.min.js',
+        //'vendor/bootlint.min.js',
         'vendor/typeahead.js',
         'vendor/rc4.js',
         'common.js',
-- 
GitLab