From 38fe05ac65e6050d032d1d10d2bd7b66343e9a3c Mon Sep 17 00:00:00 2001
From: filip mertens <filip.mertens@ethereum.org>
Date: Thu, 9 Nov 2023 16:09:41 +0100
Subject: [PATCH] lint

---
 apps/remix-ide/src/app/files/dgitProvider.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/apps/remix-ide/src/app/files/dgitProvider.js b/apps/remix-ide/src/app/files/dgitProvider.js
index 4988cffaf9..590916f4f0 100644
--- a/apps/remix-ide/src/app/files/dgitProvider.js
+++ b/apps/remix-ide/src/app/files/dgitProvider.js
@@ -127,6 +127,7 @@ class DGitProvider extends Plugin {
             await window.remixFileSystem.unlink((await this.getGitConfig(module.path)).dir)
           }
         } catch (e) {
+          // do nothing
         }
       }
     }
@@ -338,6 +339,7 @@ class DGitProvider extends Plugin {
                 await window.remixFileSystem.unlink((await this.getGitConfig(module.path)).dir)
               }
             } catch (e) {
+              // do nothing
             }
           }
         }