From 400009308b0bb6b45ff2ae3f94a7ffd0103e1a4b Mon Sep 17 00:00:00 2001 From: "davidzagi93@gmail.com" Date: Wed, 11 Aug 2021 06:53:38 +0100 Subject: [PATCH] fix linting issues --- apps/remix-ide/src/app/panels/terminal.js | 5 ----- 1 file changed, 5 deletions(-) diff --git a/apps/remix-ide/src/app/panels/terminal.js b/apps/remix-ide/src/app/panels/terminal.js index 26e63a3e6a..638b97f5ed 100644 --- a/apps/remix-ide/src/app/panels/terminal.js +++ b/apps/remix-ide/src/app/panels/terminal.js @@ -15,11 +15,6 @@ var globalRegistry = require('../../global/registry') var SourceHighlighter = require('../../app/editor/sourceHighlighter') var GistHandler = require('../../lib/gist-handler') -import { CompilerImports } from '@remix-project/core-plugin' // eslint-disable-line -var globalRegistry = require('../../global/registry') -var SourceHighlighter = require('../../app/editor/sourceHighlighter') -var GistHandler = require('../../lib/gist-handler') - var KONSOLES = [] function register (api) { KONSOLES.push(api) }