From ebe167e951e7ccf45bdab4dc90c8b30ec26361f0 Mon Sep 17 00:00:00 2001 From: Abdellah El Morabit Date: Sun, 16 Nov 2025 18:02:45 +0100 Subject: Remove build artifacts from repository --- .metals/metals.lock.db | 6 ------ .metals/metals.mv.db | Bin 53248 -> 0 bytes 2 files changed, 6 deletions(-) delete mode 100644 .metals/metals.lock.db delete mode 100644 .metals/metals.mv.db (limited to '.metals') 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 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