From ce5e0f188d079382764c92f11f4ea31812d004fb Mon Sep 17 00:00:00 2001 From: Matthias Kurz Date: Tue, 27 Feb 2024 11:33:23 +0100 Subject: [PATCH] Avoid duplicates in gitignore --- .gitignore | 5 ----- 1 file changed, 5 deletions(-) diff --git a/.gitignore b/.gitignore index 1bf33424..b0410e28 100644 --- a/.gitignore +++ b/.gitignore @@ -14,8 +14,6 @@ project/plugins/project/ .scala_dependencies .idea -.bloop/ - compiler/version.properties .vscode/ @@ -25,6 +23,3 @@ compiler/version.properties .bloop/ project/metals.sbt metals.sbt - -# BSP -.bsp/* \ No newline at end of file