summaryrefslogtreecommitdiff
path: root/.metals/metals.mv.db
diff options
context:
space:
mode:
authorAbdellah El Morabit <nsrddyn@gmail.com>2025-11-16 18:02:45 +0100
committerAbdellah El Morabit <nsrddyn@gmail.com>2025-11-16 18:02:45 +0100
commitebe167e951e7ccf45bdab4dc90c8b30ec26361f0 (patch)
tree5c4d5fa19f8014f2dbeaac6a780609600ab24b75 /.metals/metals.mv.db
parentdf8cf59890c206effdfae7b058a3837979dfdc37 (diff)
Remove build artifacts from repository
Diffstat (limited to '.metals/metals.mv.db')
-rw-r--r--.metals/metals.mv.dbbin53248 -> 0 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/.metals/metals.mv.db b/.metals/metals.mv.db
deleted file mode 100644
index 13931a5..0000000
--- a/.metals/metals.mv.db
+++ /dev/null
Binary files differ