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.mv.db | Bin 53248 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 .metals/metals.mv.db

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

diff --git a/.metals/metals.mv.db b/.metals/metals.mv.db
deleted file mode 100644
index 13931a5..0000000
Binary files a/.metals/metals.mv.db and /dev/null differ
-- 
cgit v1.2.3-70-g09d2