From ebe167e951e7ccf45bdab4dc90c8b30ec26361f0 Mon Sep 17 00:00:00 2001
From: Abdellah El Morabit <nsrddyn@gmail.com>
Date: Sun, 16 Nov 2025 18:02:45 +0100
Subject: Remove build artifacts from repository

---
 .metals/metals.lock.db | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 .metals/metals.lock.db

(limited to '.metals/metals.lock.db')

diff --git a/.metals/metals.lock.db b/.metals/metals.lock.db
deleted file mode 100644
index 7f03a39..0000000
--- a/.metals/metals.lock.db
+++ /dev/null
@@ -1,6 +0,0 @@
-#FileLock
-#Sat Nov 15 14:08:24 CET 2025
-hostName=localhost
-id=19a87a1939fcd6ec4d393ea32411a4e0b5faa1f6788
-method=file
-server=localhost\:62493
-- 
cgit v1.2.3-70-g09d2