diff --git a/.metals/metals.lock.db b/.metals/metals.lock.db deleted file mode 100644 index 292e9b3..0000000 --- a/.metals/metals.lock.db +++ /dev/null @@ -1,6 +0,0 @@ -#FileLock -#Sat Jun 01 03:36:13 CEST 2024 -hostName=localhost -id=18fd15ccd0516dcacff008c525e89395e1e1c0415f3 -method=file -server=localhost\:59944