From 440da657f40a8d8c1bcf3927b216b8aee16aff4b Mon Sep 17 00:00:00 2001 From: yann300 Date: Thu, 20 Jun 2024 10:38:25 +0200 Subject: [PATCH] linting --- apps/remix-ide/src/app/files/dgitProvider.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/remix-ide/src/app/files/dgitProvider.ts b/apps/remix-ide/src/app/files/dgitProvider.ts index 3245820f21..c2928320e1 100644 --- a/apps/remix-ide/src/app/files/dgitProvider.ts +++ b/apps/remix-ide/src/app/files/dgitProvider.ts @@ -455,7 +455,7 @@ class DGitProvider extends Plugin { this.emit('clone') this.call('fileManager', 'hasGitSubmodules').then((submodules) => { if (submodules) { - this.call('terminal', 'log', { type: 'warn', value: 'This repository has submodules. Please update submodules to pull all the dependencies.'}) + this.call('terminal', 'log', { type: 'warn', value: 'This repository has submodules. Please update submodules to pull all the dependencies.' }) this.emit('repositoryWithSubmodulesCloned') } })