diff --git a/esperimenti/.config/dotnet-tools.json b/esperimenti/.config/dotnet-tools.json
deleted file mode 100644
index b6be3c7..0000000
--- a/esperimenti/.config/dotnet-tools.json
+++ /dev/null
@@ -1,12 +0,0 @@
-{
-  "version": 1,
-  "isRoot": true,
-  "tools": {
-    "fsautocomplete": {
-      "version": "0.51.0",
-      "commands": [
-        "fsautocomplete"
-      ]
-    }
-  }
-}
\ No newline at end of file
diff --git a/esperimenti/.ionide/symbolCache.db b/esperimenti/.ionide/symbolCache.db
deleted file mode 100644
index 9cf02ad..0000000
Binary files a/esperimenti/.ionide/symbolCache.db and /dev/null differ
diff --git a/fib/.config/dotnet-tools.json b/fib/.config/dotnet-tools.json
deleted file mode 100644
index b6be3c7..0000000
--- a/fib/.config/dotnet-tools.json
+++ /dev/null
@@ -1,12 +0,0 @@
-{
-  "version": 1,
-  "isRoot": true,
-  "tools": {
-    "fsautocomplete": {
-      "version": "0.51.0",
-      "commands": [
-        "fsautocomplete"
-      ]
-    }
-  }
-}
\ No newline at end of file
diff --git a/fib/.ionide/symbolCache.db b/fib/.ionide/symbolCache.db
deleted file mode 100644
index 9615ea4..0000000
Binary files a/fib/.ionide/symbolCache.db and /dev/null differ
diff --git a/lab3/.config/dotnet-tools.json b/lab3/.config/dotnet-tools.json
deleted file mode 100644
index b6be3c7..0000000
--- a/lab3/.config/dotnet-tools.json
+++ /dev/null
@@ -1,12 +0,0 @@
-{
-  "version": 1,
-  "isRoot": true,
-  "tools": {
-    "fsautocomplete": {
-      "version": "0.51.0",
-      "commands": [
-        "fsautocomplete"
-      ]
-    }
-  }
-}
\ No newline at end of file
diff --git a/lab3/.ionide/symbolCache.db b/lab3/.ionide/symbolCache.db
deleted file mode 100644
index 89a5946..0000000
Binary files a/lab3/.ionide/symbolCache.db and /dev/null differ
diff --git a/ludo/.config/dotnet-tools.json b/ludo/.config/dotnet-tools.json
deleted file mode 100644
index b6be3c7..0000000
--- a/ludo/.config/dotnet-tools.json
+++ /dev/null
@@ -1,12 +0,0 @@
-{
-  "version": 1,
-  "isRoot": true,
-  "tools": {
-    "fsautocomplete": {
-      "version": "0.51.0",
-      "commands": [
-        "fsautocomplete"
-      ]
-    }
-  }
-}
\ No newline at end of file
diff --git a/ludo/.ionide/symbolCache.db b/ludo/.ionide/symbolCache.db
deleted file mode 100644
index a310069..0000000
Binary files a/ludo/.ionide/symbolCache.db and /dev/null differ
diff --git a/mc91/.config/dotnet-tools.json b/mc91/.config/dotnet-tools.json
deleted file mode 100644
index b6be3c7..0000000
--- a/mc91/.config/dotnet-tools.json
+++ /dev/null
@@ -1,12 +0,0 @@
-{
-  "version": 1,
-  "isRoot": true,
-  "tools": {
-    "fsautocomplete": {
-      "version": "0.51.0",
-      "commands": [
-        "fsautocomplete"
-      ]
-    }
-  }
-}
\ No newline at end of file
diff --git a/mc91/.ionide/symbolCache.db b/mc91/.ionide/symbolCache.db
deleted file mode 100644
index f980108..0000000
Binary files a/mc91/.ionide/symbolCache.db and /dev/null differ