Move stylelint-config to edit folder

2017-08-20 14:43:24 -05:00 · 2017-08-20 14:43:24 -05:00 · 5ce7a925cb
commit 5ce7a925cb
parent 75deeddc0e
2 changed files with 1 additions and 1 deletions
--- 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);
--- a/vendor-overwrites/codemirror/addon/lint/stylelint-config.js
+++ b/vendor-overwrites/codemirror/addon/lint/stylelint-config.js