From 8fd9f2468bd5592cc24ba446c207b91f78aa3724 Mon Sep 17 00:00:00 2001 From: n7581769 Date: Thu, 5 Oct 2023 11:02:11 +1000 Subject: [PATCH] Data files are no longer included in DesignTime project. Signed-off-by: n7581769 --- src/DesignTime/DesignTime.fsproj | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/DesignTime/DesignTime.fsproj b/src/DesignTime/DesignTime.fsproj index 016e494..d6d4f71 100644 --- a/src/DesignTime/DesignTime.fsproj +++ b/src/DesignTime/DesignTime.fsproj @@ -11,8 +11,6 @@ - - True paket-files/ProvidedTypes.fsi