From b5e3d99f83a13d6f32eaf44b3ec10a0a4abf003e Mon Sep 17 00:00:00 2001 From: Abdellah El Morabit Date: Sat, 15 Nov 2025 16:02:14 +0100 Subject: chore: cleanup build artifacts + updated gitignore --- .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