bump ProjInfo to the next version to get support for loading broken p…

…rojects and loading traversal projects (#1270)
ionide · Apr 22, 2024 · ab6a49d · ab6a49d
1 parent d6ce58b
commit ab6a49d
Show file tree

Hide file tree

Showing 4 changed files with 514 additions and 511 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "paket": {
-      "version": "8.0.0-alpha002",
+      "version": "8.0.3",
       "commands": [
         "paket"
       ]