See https://github.com/dafny-lang/dafny.msbuild/issues/14. Since this is part of the build process for this package, it should be properly released and maintained as an official Dafny utility.
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.