From 60fdc2d0432d1f8fb736bc8d396b24b45ea74724 Mon Sep 17 00:00:00 2001 From: Abdellah El Morabit Date: Sat, 15 Nov 2025 14:45:59 +0100 Subject: feature: gitignore --- .metals/metals.mv.db | Bin 0 -> 53248 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 .metals/metals.mv.db (limited to '.metals/metals.mv.db') diff --git a/.metals/metals.mv.db b/.metals/metals.mv.db new file mode 100644 index 0000000..13931a5 Binary files /dev/null and b/.metals/metals.mv.db differ -- cgit v1.2.3-70-g09d2