From fbd87f26a3e372c2f96578c63434b3582526de36 Mon Sep 17 00:00:00 2001
From: Chris Hallberg <crhallberg@gmail.com>
Date: Tue, 30 Sep 2014 15:26:54 -0400
Subject: [PATCH] Accidentally add Bootlint to theme.config.
---
themes/bootstrap3/theme.config.php | 1 -
1 file changed, 1 deletion(-)
diff --git a/themes/bootstrap3/theme.config.php b/themes/bootstrap3/theme.config.php
index ff24779caf6..fa39f1f013d 100644
--- a/themes/bootstrap3/theme.config.php
+++ b/themes/bootstrap3/theme.config.php
@@ -14,7 +14,6 @@ return array(
'vendor/jquery.min.js',
'vendor/bootstrap.min.js',
'vendor/bootstrap-accessibility.min.js',
- 'vendor/bootlint.min.js',
'vendor/typeahead.js',
'vendor/rc4.js',
'common.js',
--
GitLab