chore: cleanup

dumberjs · Jun 18, 2020 · 20d5c3a · 20d5c3a
1 parent 60e6fa3
commit 20d5c3a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/client/.htmlhintrc b/client/.htmlhintrc
@@ -8,6 +8,5 @@
     "spec-char-escape": true,
     "id-unique": true,
     "src-not-empty": true,
-    "attr-no-duplication": true,
     "title-require": true
 }
diff --git a/client/src/edit/code-editor.js b/client/src/edit/code-editor.js
@@ -35,7 +35,6 @@ CodeMirror.registerHelper("lint", "html", function(text) {
     "spec-char-escape": true,
     "id-unique": true,
     "src-not-empty": true,
-    "attr-no-duplication": true,
     "title-require": true
   });
   for (var i = 0; i < messages.length; i++) {