Delete unused NuGet release script. (#5351)

Z3Prover · Jun 16, 2021 · d61d508 · d61d508
1 parent dc6a8fd
commit d61d508
Showing 1 changed file with 0 additions and 134 deletions.
diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py