From 18c8973ba71599567a7fedc2c6295584553014b9 Mon Sep 17 00:00:00 2001
From: svipal <48034417+svipal@users.noreply.github.com>
Date: Sat, 8 Feb 2020 15:20:14 +0100
Subject: [PATCH] Delete metals.log

---
 .metals/metals.log | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 .metals/metals.log

diff --git a/.metals/metals.log b/.metals/metals.log
deleted file mode 100644
index 75293d732..000000000
--- a/.metals/metals.log
+++ /dev/null
@@ -1,2 +0,0 @@
-INFO  time: initialize in 0.88s
-WARN  no build tool detected in workspace '/home/yggr/Documents/Projects/phaserSvip'. The most common cause for this problem is that the editor was opened in the wrong working directory, for example if you use sbt then the workspace directory should contain build.sbt.