fix linting issues

3 years ago · 4848bb6019
parent 0b78f4f705
commit 4848bb6019
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) }