Merge pull request #7119 from wli3/sign-Interactive.DependencyManager-master

Interactive.DependencyManager to sign files
This commit is contained in:
William Li 2020-04-17 13:46:24 -07:00 committed by GitHub
commit e93e74c7a7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -98,6 +98,7 @@
$(SdkOutputDirectory)**/fsc.exe;
$(SdkOutputDirectory)**/fsi.exe;
$(SdkOutputDirectory)**/FSharp.*.dll;
$(SdkOutputDirectory)**/Interactive.DependencyManager.dll;
$(SdkOutputDirectory)**/dotnet.dll;
$(SdkOutputDirectory)**/dotnet.resources.dll;
$(SdkOutputDirectory)**/System.*.dll;