remove useless files

ETH-PEACH-Lab · Aug 25, 2024 · 28b4097 · 28b4097
1 parent 350f51f
commit 28b4097
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 441 deletions.
diff --git a/package.json b/package.json
@@ -159,19 +159,7 @@
             "@typescript-eslint"
         ],
         "rules": {
-            "@typescript-eslint/naming-convention": [
-                "error",
-                {
-                    "selector": "interface",
-                    "format": [
-                        "PascalCase"
-                    ],
-                    "custom": {
-                        "regex": "^I[A-Z]",
-                        "match": true
-                    }
-                }
-            ],
+            "@typescript-eslint/naming-convention": "off",
             "@typescript-eslint/no-unused-vars": [
                 "warn",
                 {

diff --git a/src/graphWidget.tsx b/src/graphWidget.tsx
diff --git a/src/notebookManager.ts b/src/notebookManager.ts