Cleanup

3 years ago · e63c20719f
parent 4ce0070189
commit e63c20719f
10 changed files with 0 additions and 60 deletions
--- a/esperimenti/.config/dotnet-tools.json
+++ b/esperimenti/.config/dotnet-tools.json
@ -1,12 +0,0 @@
 {
  "version": 1,
  "isRoot": true,
  "tools": {
    "fsautocomplete": {
      "version": "0.51.0",
      "commands": [
        "fsautocomplete"
      ]
    }
  }
 }
--- a/esperimenti/.ionide/symbolCache.db
+++ b/esperimenti/.ionide/symbolCache.db
--- a/fib/.config/dotnet-tools.json
+++ b/fib/.config/dotnet-tools.json
@ -1,12 +0,0 @@
 {
  "version": 1,
  "isRoot": true,
  "tools": {
    "fsautocomplete": {
      "version": "0.51.0",
      "commands": [
        "fsautocomplete"
      ]
    }
  }
 }
--- a/fib/.ionide/symbolCache.db
+++ b/fib/.ionide/symbolCache.db
--- a/lab3/.config/dotnet-tools.json
+++ b/lab3/.config/dotnet-tools.json
@ -1,12 +0,0 @@
 {
  "version": 1,
  "isRoot": true,
  "tools": {
    "fsautocomplete": {
      "version": "0.51.0",
      "commands": [
        "fsautocomplete"
      ]
    }
  }
 }
--- a/lab3/.ionide/symbolCache.db
+++ b/lab3/.ionide/symbolCache.db
--- a/ludo/.config/dotnet-tools.json
+++ b/ludo/.config/dotnet-tools.json
@ -1,12 +0,0 @@
 {
  "version": 1,
  "isRoot": true,
  "tools": {
    "fsautocomplete": {
      "version": "0.51.0",
      "commands": [
        "fsautocomplete"
      ]
    }
  }
 }
--- a/ludo/.ionide/symbolCache.db
+++ b/ludo/.ionide/symbolCache.db
--- a/mc91/.config/dotnet-tools.json
+++ b/mc91/.config/dotnet-tools.json
@ -1,12 +0,0 @@
 {
  "version": 1,
  "isRoot": true,
  "tools": {
    "fsautocomplete": {
      "version": "0.51.0",
      "commands": [
        "fsautocomplete"
      ]
    }
  }
 }
--- a/mc91/.ionide/symbolCache.db
+++ b/mc91/.ionide/symbolCache.db