fix linting

pull/5370/head
yann300 1 year ago committed by GitHub
parent cae0209fe0
commit d19da44e42
  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