From f52f8c57d8dffd3da4d27e27172f13cee3ca9bff Mon Sep 17 00:00:00 2001
From: Rob Garrison <wowmotty@gmail.com>
Date: Fri, 18 Aug 2017 10:58:32 -0500
Subject: [PATCH] Rename linter.js to css-lint.js

---
 edit.html                                                       | 2 +-
 .../codemirror/addon/lint/{linter.js => css-lint.js}            | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename vendor-overwrites/codemirror/addon/lint/{linter.js => css-lint.js} (100%)

diff --git a/edit.html b/edit.html
index 64e4f8bb..67215a24 100644
--- a/edit.html
+++ b/edit.html
@@ -42,7 +42,7 @@
     <!-- linter -->
     <link rel="stylesheet" href="vendor/codemirror/addon/lint/lint.css" />
     <script src="vendor/codemirror/addon/lint/lint.js"></script>
-    <script src="vendor-overwrites/codemirror/addon/lint/linter.js"></script>
+    <script src="vendor-overwrites/codemirror/addon/lint/css-lint.js"></script>
 
     <link rel="stylesheet" href="vendor/codemirror/addon/hint/show-hint.css" />
     <script src="vendor/codemirror/addon/hint/show-hint.js"></script>
diff --git a/vendor-overwrites/codemirror/addon/lint/linter.js b/vendor-overwrites/codemirror/addon/lint/css-lint.js
similarity index 100%
rename from vendor-overwrites/codemirror/addon/lint/linter.js
rename to vendor-overwrites/codemirror/addon/lint/css-lint.js