From 6f9dbf17fe7ba488154e0f4f6575269906f8bec0 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Sat, 11 Nov 2023 18:00:23 +0100 Subject: [PATCH] cleanup --- apps/remix-ide/src/app/files/dgitProvider.js | 2 -- 1 file changed, 2 deletions(-) diff --git a/apps/remix-ide/src/app/files/dgitProvider.js b/apps/remix-ide/src/app/files/dgitProvider.js index 18c9c20cd4..7d42f5f697 100644 --- a/apps/remix-ide/src/app/files/dgitProvider.js +++ b/apps/remix-ide/src/app/files/dgitProvider.js @@ -396,9 +396,7 @@ class DGitProvider extends Plugin { console.log(e) } } - for (let module of gitmodules) { - } setTimeout(async () => { await this.call('fileManager', 'refresh') }, 1000)