Merge branch 'master' into fix_3809

dafny-lang · Jan 13, 2025 · df277dd · df277dd
2 parents 899cc29 + b79708e
commit df277dd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/script.sh b/script.sh
@@ -0,0 +1 @@
+dotnet run --project Source/Scripts/Scripts.csproj -- "$@"