add in global metals (#3296)

2020-02-10 11:34:56 +01:00 · 2020-02-10 11:34:56 +01:00 · 55df35ee63
--- a/Global/Metals.gitignore
+++ b/Global/Metals.gitignore
@ -0,0 +1,5 @@
+ # Generated Metals (Scala Language Server) files
+ # Reference: https://scalameta.org/metals/
+.metals/
+.bloop/
+project/metals.sbt