From 954c52b8dee19264327b12373296d5c51a4e4a67 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Mon, 23 Apr 2018 09:04:16 +0200
Subject: [PATCH] standard

---
 src/app/files/fileManager.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/app/files/fileManager.js b/src/app/files/fileManager.js
index 631c7bbdde..8bbdee20ba 100644
--- a/src/app/files/fileManager.js
+++ b/src/app/files/fileManager.js
@@ -180,7 +180,7 @@ class FileManager {
           provider.set(currentFile, input)
         } else {
           console.log('cannot save ' + currentFile + '. Does not belong to any explorer')
-        }  
+        }
       }
     }
   }