From 5ce7a925cb807d75636f81c6009c7a23d8afd4bb Mon Sep 17 00:00:00 2001
From: Rob Garrison <wowmotty@gmail.com>
Date: Sun, 20 Aug 2017 14:43:24 -0500
Subject: [PATCH] Move stylelint-config to edit folder

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

diff --git a/edit/lint.js b/edit/lint.js
index 48429672..fba67d13 100644
--- a/edit/lint.js
+++ b/edit/lint.js
@@ -321,7 +321,7 @@ function loadSelectedLinter(name) {
   } else if (name === 'stylelint' && !window.stylelint) {
     scripts.push(
       'vendor-overwrites/stylelint/stylelint-bundle.min.js',
-      'vendor-overwrites/codemirror/addon/lint/stylelint-config.js'
+      'edit/stylelint-config.js'
     );
   }
   return onDOMscripted(scripts);
diff --git a/vendor-overwrites/codemirror/addon/lint/stylelint-config.js b/edit/stylelint-config.js
similarity index 100%
rename from vendor-overwrites/codemirror/addon/lint/stylelint-config.js
rename to edit/stylelint-config.js