From ee33127c6fb46b100d23f4c6fa284ab7b8e59c22 Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Sat, 16 Apr 2022 21:42:17 +0100
Subject: Updated ignore list

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 05ab01b..109bc76 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 .bloop/
+.bsp/
 .metals/
 *~
 *.swp
-- 
cgit v1.2.3