fix linting issues

4 years ago · 400009308b
parent 24e25bd63a
commit 400009308b
1 changed files with 0 additions and 5 deletions
--- 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) }