From 7026373ade5c16ccc04b08b00f9cde24abfdb67d Mon Sep 17 00:00:00 2001 From: Katja Goltsova <katja.goltsova@protonmail.com> Date: Thu, 9 Jun 2022 18:17:01 +0200 Subject: [PATCH] Update .gitignore for more build tools and IDEs --- .gitignore | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 6d2d827b..711604d3 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,12 @@ -*.iml +# IDEs .idea -target +.metals +.vscode +project/metals.sbt + +# build-related .bsp +.bloop +target + +*.iml -- GitLab