fix linting

pull/4236/head
yann300 1 year ago committed by GitHub
parent 825da193c4
commit 0f26d8d24d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      apps/remix-ide/src/app/files/dgitProvider.js

@ -399,7 +399,7 @@ class DGitProvider extends Plugin {
this.call('terminal', 'log', {
type: 'error',
value: `Could not checkout submodule to ${result[0]}`
})} else {
})} else {
this.call('terminal', 'logHtml',`Checked out submodule ${dir} to ${result[0]}`)
}
}

Loading…
Cancel
Save