Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/main.ts')
| -rw-r--r-- | editors/code/src/main.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index c84b69b66c..451294e26f 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts @@ -214,6 +214,7 @@ function checkConflictingExtensions() { "both plugins to not work correctly. You should disable one of them.", "Got it", ) + // eslint-disable-next-line no-console .then(() => {}, console.error); } } |