From 595777775ec4fce9a114337f937c39547b5c452e Mon Sep 17 00:00:00 2001
From: Chris Hallberg <crhallberg@gmail.com>
Date: Tue, 7 Oct 2014 09:57:14 -0400
Subject: [PATCH] Bootlint commented out be default.

---
 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..eba83c631e4 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