Ensure dafny.msbuild is released properly #260
Description
See dafny-lang/dafny.msbuild#14.
Since this is part of the build process for this package, it should be properly released and maintained as an official Dafny utility.
{{ message }}
See dafny-lang/dafny.msbuild#14.
Since this is part of the build process for this package, it should be properly released and maintained as an official Dafny utility.