diff options
Diffstat (limited to '.metals/metals.lock.db')
| -rw-r--r-- | .metals/metals.lock.db | 6 |
1 files changed, 0 insertions, 6 deletions
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 |