chore(clippy): remove @ts-ignore

mdn · Oct 30, 2023 · 140e6e9 · 140e6e9
1 parent dc9ea96
commit 140e6e9
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/editor/js/editor-libs/clippy.js b/editor/js/editor-libs/clippy.js
@@ -1,6 +1,3 @@
-// TODO This is a temporary ts-ignore, used until converting codemirror-editor to ts
-// eslint-disable-next-line @typescript-eslint/ban-ts-comment
-// @ts-ignore
 import { getEditorContent } from "./codemirror-editor.js";
 
 /**