Avoid wildcard expansion when making F# builds#3421
Merged
mtzguido merged 1 commit intoFStarLang:masterfrom Aug 28, 2024
Merged
Avoid wildcard expansion when making F# builds#3421mtzguido merged 1 commit intoFStarLang:masterfrom
mtzguido merged 1 commit intoFStarLang:masterfrom
